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 be assigned at least one Dclassification number from 01-XX)
• 03-04 Explicit machine computation and programs (not the theory of computation or programming)
• 03-06 Proceedings, conferences, collections, etc.
• 03A05 Philosophical and critical, {For philosophy of mathematics, See 00A30}
• 03Bxx General logic
• 03Cxx Model theory
• 03Dxx Recursion theory
• 03Exx Set theory, see also {04-XX}
• 03Fxx Proof theory and constructive mathematics
• 03Gxx Algebraic logic
• 03Hxx Nonstandard models, see also {03C62}