03XX 


Mathematical logic and foundations 


0300 
General reference works (handbooks, dictionaries, bibliographies, etc.) 


0301 
Instructional exposition (textbooks, tutorial papers, etc.) 


0302 
Research exposition (monographs, survey articles) 


0303 
Historical (must also be assigned at least one classification number from Section 01) 


0304 
Explicit machine computation and programs (not the theory of computation or programming) 


0306 
Proceedings, conferences, collections, etc. 


03A05 
Philosophical and critical {For philosophy of mathematics, see also 00A30} 

03Bxx 

General logic 

03Cxx 

Model theory 

03Dxx 

Computability and recursion theory 

03Exx 

Set theory 

03Fxx 

Proof theory and constructive mathematics 

03Gxx 

Algebraic logic 

03Hxx 

Nonstandard models [See also 03C62] 