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

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