Activities / Library / Books

Mathematical Sciences Classification System

03-XX - Mathematical logic and foundations

• 16
  03-00
  General reference works (handbooks, dictionaries, bibliographies, etc.)
• 133
  03-01
  Instructional exposition (textbooks, tutorial papers, etc.)
• 5
  03-02
  Research exposition (monographs, survey articles)
• 157
  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)
• 127
  03-06
  Proceedings, conferences, collections, etc.
• 7
  (+162)
  03Axx
  Philosophical aspects of logic and foundations
• 47
  (+192)
  03Bxx
  General logic
• 55
  (+41)
  03Cxx
  Model theory
• 73
  (+28)
  03Dxx
  Computability and recursion theory
• 67
  (+97)
  03Exx
  Set theory
• 59
  (+53)
  03Fxx
  Proof theory and constructive mathematics
• 21
  (+23)
  03Gxx
  Algebraic logic
• 9
  (+23)
  03Hxx
  Nonstandard models
  [See also 03C62]