0300  General reference works (handbooks, dictionaries, bibliographies, etc.)


0301  Instructional exposition (textbooks, tutorial papers, etc.)


0302  Research exposition (monographs, survey articles)


0303  Historical (must also be assigned at least one classification number from Section 01)


0304  Explicit machine computation and programs (not the theory of computation or programming)


0306  Proceedings, conferences, collections, etc.



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


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]
