|
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. |
|
|
|
03A05 |
Philosophical and critical For p |
