epub @ SUB HH

03-XX Mathematical logic and foundations ( 0 Dok.)

• 03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) ( 0 Dok.)
• 03-01 Instructional exposition (textbooks, tutorial papers, etc.) ( 0 Dok.)
• 03-02 Research exposition (monographs, survey articles) ( 0 Dok.)
• 03-03 Historical (must also be assigned at least one classification number from Section 01) ( 0 Dok.)
• 03-04 Explicit machine computation and programs (not the theory of computation or programming) ( 0 Dok.)
• 03-06 Proceedings, conferences, collections, etc. ( 0 Dok.)
• 03A05 Philosophical and critical ( 0 Dok.)
• 03Bxx General logic ( 0 Dok. )
• 03Cxx Model theory ( 0 Dok. )
• 03Dxx Computability and recursion theory ( 0 Dok. )
• 03Exx Set theory ( 0 Dok. )
• 03Fxx Proof theory and constructive mathematics ( 0 Dok. )
• 03Gxx Algebraic logic ( 0 Dok. )
• 03Hxx Nonstandard models ( 0 Dok. )