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)
  • 162
    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)
    Philosophical aspects of logic and foundations
  • 48
    (+200)
    General logic
  • 55
    (+43)
    Model theory
  • 73
    (+31)
    Computability and recursion theory
  • 67
    (+101)
    Set theory
  • 59
    (+54)
    Proof theory and constructive mathematics
  • 22
    (+24)
    Algebraic logic
  • 9
    (+25)
    Nonstandard models
    [See also 03C62]

Rewrite code from the image

Reload image

Reload image