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 also be assigned at least one classification number from Section 01 03 04 Explicit machine computation and programs not the theory of computation or programming 03 06 Proceedings conferences collections etc 03Axx Philosophical aspects of logic and foundations 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