Mathematical Sciences Classification System
03-XX - Mathematical logic and foundations
-
03-00General reference works (handbooks, dictionaries, bibliographies, etc.)
-
03-01Instructional exposition (textbooks, tutorial papers, etc.)
-
03-02Research exposition (monographs, survey articles)
-
03-03Historical (must also be assigned at least one classification number from Section 01)
-
03-04Explicit machine computation and programs (not the theory of computation or programming)
-
03-06Proceedings, conferences, collections, etc.
-
(+165)Philosophical aspects of logic and foundations
-
(+196)General logic
-
(+41)Model theory
-
(+28)Computability and recursion theory
-
(+99)Set theory
-
(+54)Proof theory and constructive mathematics
-
(+23)Algebraic logic
-
(+24)Nonstandard models
[See also 03C62]