Index of /Root/d-Mathematics/d-Foundations-of-mathematics

Icon  Name                                     Last modified      Size  Description
[DIR] Parent Directory - [   ] b-Algebraic-logic 03-Apr-2004 02:30 87 [TXT] b-Automated-proofs 10-May-2011 15:18 3.6K [TXT] b-Axiom-of-choice 24-Feb-2018 16:08 919 [   ] b-Complexity-and-recursive-functions 17-Oct-2017 00:10 7.7K [TXT] b-Complexity-geometric-theory 28-Aug-2017 18:28 630 [TXT] b-Foundations-of-mathematics 18-Feb-2018 16:46 1.5K [   ] b-Homotopy-type-theory 25-Aug-2017 18:25 159 [   ] b-Intuitionistic-logic 16-Jun-2006 19:43 183 [TXT] b-Lambda-calculus 08-Jul-2018 21:55 4.0K [TXT] b-Mathematical-logic 20-Jan-2017 15:52 5.2K [TXT] b-Multisets 08-Mar-2015 10:37 164 [   ] b-Paradoxa 14-Apr-2008 15:06 115 [TXT] b-Proof-theory 27-Apr-2007 12:01 587 [TXT] b-Set-theory 08-Oct-2017 00:15 8.9K [   ] b-Temporal-logic 05-Jun-2002 22:39 67 [DIR] d-Model-theory-and-nonstandard-analysis/ 31-Aug-2018 22:34 - [TXT] dh-Complexity-and-boolean-functions 04-Feb-2015 23:20 186 [   ] t-Logic-software 28-May-1995 12:05 21K [TXT] t-Why-0-and-1 23-Feb-2014 10:58 59K
Apache/2.0.46 (Red Hat) Server at felix.unife.it Port 80