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

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 t-Why-0-and-1                            17-Oct-2021 00:16   59K  
 t-Logic-software                         28-May-1995 12:05   21K  
 b-Set-theory                             16-Jun-2022 10:22  9.1K  
 b-Complexity-and-recursive-functions     17-Oct-2017 00:10  7.7K  
 b-Mathematical-logic                     31-Oct-2021 23:09  5.7K  
 b-Lambda-calculus                        11-Jan-2021 01:59  4.0K  
 b-Automated-proofs                       10-May-2011 15:18  3.6K  
 b-Foundations-of-mathematics             08-Sep-2021 16:41  1.6K  
 b-Axiom-of-choice                        24-Feb-2018 16:08  919   
 b-Complexity-geometric-theory            28-Aug-2017 18:28  630   
 b-Proof-theory                           27-Apr-2007 12:01  587   
 dh-Complexity-and-boolean-functions      04-Feb-2015 23:20  186   
 b-Intuitionistic-logic                   16-Jun-2006 19:43  183   
 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   
 d-Model-theory-and-nonstandard-analysis/ 06-Jul-2022 17:15    -