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.)
03-01   Instructional exposition (textbooks, tutorial papers, etc.)
03-02   Research exposition (monographs, survey articles)
03-03   Historical (must also be assigned at least one classification number from Section 01)
03-04   Explicit machine computation and programs (not the theory of computation or programming)
03-06   Proceedings, conferences, collections, etc.
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