From MSCWiki
Revision as of 15:11, 18 September 2008 by PIon (Talk | contribs)

(diff) ←Older revision | view current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

03-XX Mathematical logic and foundations {Info & Stats}

  • 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]