|
|
|
03-XX - Mathematical logic and foundations
| 03-00 |
- |
General reference works (handbooks, dictionaries, bibliographies, etc.) |
- |
60 |
items |
| 03-01 |
- |
Instructional exposition (textbooks, tutorial papers, etc.) |
- |
13 |
items |
| 03-03 |
- |
Historical (must also be assigned at least one classification number from Section 01) |
- |
3 |
items |
| 03A05 |
- |
Philosophical and critical |
- |
18 |
items |
| 03Bxx |
- |
General logic |
- |
170 |
items |
| 03Cxx |
- |
Model theory |
- |
83 |
items |
| 03Dxx |
- |
Computability and recursion theory |
- |
78 |
items |
| 03Exx |
- |
Set theory |
- |
350 |
items |
| 03Fxx |
- |
Proof theory and constructive mathematics |
- |
33 |
items |
| 03Gxx |
- |
Algebraic logic |
- |
72 |
items |
| 03Hxx |
- |
Nonstandard models |
- |
3 |
items |
|
|
[
up
|
top
]
|
|
|
|
|
