03-XX |
|
|
Mathematical logic and foundations |
|
|
03-00 |
General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations |
|
|
03-01 |
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations |
|
|
03-02 |
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |
|
|
03-03 |
History of mathematical logic and foundations [Consider also classification numbers from Section 01-XX] |
|
|
03-04 |
Software, source code, etc. for problems pertaining to mathematical logic and foundations |
|
|
03-06 |
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
|
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] |