Search and Browse the MSC 2000

03-XX Mathematical logic and foundations → ZMATH

03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) → ZMATH

03-01 Instructional exposition (textbooks, tutorial papers, etc.) → ZMATH

03-02 Research exposition (monographs, survey articles) → ZMATH

03-03 Historical (must also be assigned at least one classification number from Section 01) → ZMATH

03-04 Explicit machine computation and programs (not the theory of computation or programming) → ZMATH

03-06 Proceedings, conferences, collections, etc. → ZMATH

03A05 Philosophical and critical {For philosophy of mathematics, see also 00A30} → ZMATH

03Bxx General logic → ZMATH

03Cxx Model theory → ZMATH

03Dxx Computability and recursion theory → ZMATH

03Exx Set theory → ZMATH

03Fxx Proof theory and constructive mathematics → ZMATH

03Gxx Algebraic logic → ZMATH

03Hxx Nonstandard models [See also 03C62] → ZMATH