|
|
|
03-XX - Mathematical logic and foundations
| 03-00 |
- |
General reference works (handbooks, dictionaries, bibliographies, etc.) |
- |
56 |
items |
| 03-03 |
- |
Historical (must also be assigned at least one classification number from Section 01) |
- |
3 |
items |
| 03A05 |
- |
Philosophical and critical |
- |
7 |
items |
| 03Bxx |
- |
General logic |
- |
149 |
items |
| 03Cxx |
- |
Model theory |
- |
78 |
items |
| 03Dxx |
- |
Computability and recursion theory |
- |
44 |
items |
| 03Exx |
- |
Set theory |
- |
311 |
items |
| 03Fxx |
- |
Proof theory and constructive mathematics |
- |
33 |
items |
| 03Gxx |
- |
Algebraic logic |
- |
57 |
items |
| 03Hxx |
- |
Nonstandard models |
- |
2 |
items |
|
|
[
up
|
top
]
|
|
|
|
|
