03-XX - Mathematical logic and foundations
13 | 03-00 | General reference works (handbooks, dictionaries, bibliographies, etc.) | |
| 78 | 03-01 | Instructional exposition (textbooks, tutorial papers, etc.) | |
| 1 | 03-02 | Research exposition (monographs, survey articles) | |
| 59 | 03-03 | Historical (must also be assigned at least one classification number from Section 01) | |
| 1 | 03-04 | Explicit machine computation and programs (not the theory of computation or programming) | |
| 68 | 03-06 | Proceedings, conferences, collections, etc. | |
| (+79) | 03Axx | Philosophical aspects of logic and foundations | |
| 24 | (+87) | 03Bxx | General logic |
| 25 | (+13) | 03Cxx | Model theory |
| 23 | (+10) | 03Dxx | Computability and recursion theory |
| 31 | (+40) | 03Exx | Set theory |
| 29 | (+20) | 03Fxx | Proof theory and constructive mathematics |
| 9 | (+11) | 03Gxx | Algebraic logic |
| 5 | (+8) | 03Hxx | Nonstandard models [See also 03C62] |