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

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