TWiki> Mizar Web>MathematicsSubjectClassification>03 (2010-08-17, BorisSchminke)EditAttach

03 Mathematical logic and foundations

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

P = Primary classification

S = Secondary classification

WebForm
TopicClassification MathSC2000
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r9 < r8 < r7 < r6 < r5 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r9 - 2010-08-17 - 12:06:33 - BorisSchminke
 
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