Activities / Library

Mathematical Sciences Classification System

03-XX - Mathematical logic and foundations

• 16
  03-00
  General reference works (handbooks, dictionaries, bibliographies, etc.)
• 137
  03-01
  Instructional exposition (textbooks, tutorial papers, etc.)
• 5
  03-02
  Research exposition (monographs, survey articles)
• 161
  03-03
  Historical (must also be assigned at least one classification number from Section 01)
• 2
  03-04
  Explicit machine computation and programs (not the theory of computation or programming)
• 131
  03-06
  Proceedings, conferences, collections, etc.
• 7
  (+168)
  03Axx
  Philosophical aspects of logic and foundations
• 48
  (+200)
  03Bxx
  General logic
• 55
  (+43)
  03Cxx
  Model theory
• 73
  (+31)
  03Dxx
  Computability and recursion theory
• 67
  (+101)
  03Exx
  Set theory
• 59
  (+54)
  03Fxx
  Proof theory and constructive mathematics
• 22
  (+24)
  03Gxx
  Algebraic logic
• 9
  (+25)
  03Hxx
  Nonstandard models
  [See also 03C62]