03 Mathematical logic and foundations

Section P S
03A05? Philosophical and critical For philosophy of mathematics, see also 00A30    
03B General logic   33  
03C Model theory   10  
03D Computability and recursion theory   1  
03E Set theory   88 1
03F? Proof theory and constructive mathematics      
03G Algebraic logic   6  
03H? Nonstandard models See also 03C62    

P = Primary classification

S = Secondary classification

TopicClassification MathSC2000

ImplementationDate? N/A
Topic revision: r14 - 2016-05-20 - 12:43:39 - MarcoRiccardi
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback