Browse Classification

Select a 2 digit classification

Search Classifications

Enter a keyword, phrase or a 2-, 3-, or 5-digit classification
< 01-XX | Up | 05-XX >
03-XX Mathematical logic and foundations
03-00   General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
03-01   Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02   Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03-03   History of mathematical logic and foundations [Consider also classification numbers from Section 01-XX]
03-04   Software, source code, etc. for problems pertaining to mathematical logic and foundations
03-06   Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03-08   Computational methods for problems pertaining to mathematical logic and foundations
03-11   Research data for problems pertaining to mathematical logic and foundations
03Axx Philosophical aspects of logic and foundations
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]
< 01-XX | Up | 05-XX >
 
 
American Mathematical Society