The MathNet Korea
Information Center for Mathematical Science

MSC

Information Center for Mathematical Science

MSC

1 03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
2 03-01 Instructional exposition (textbooks, tutorial papers, etc.)
3 03-02 Research exposition (monographs, survey articles)
4 03-03 Historical (must also be assigned at least one classification number from Section 01)
5 03-04 Explicit machine computation and programs (not the theory of computation or programming)
6 03-06 Proceedings, conferences, collections, etc.
7 03Bxx General logic
8 03Cxx Model theory
9 03Dxx Computability and recursion theory
10 03Exx Set theory
11 03Fxx Proof theory and constructive mathematics
12 03Gxx Algebraic logic
13 03Hxx Nonstandard models [See also 03C62]