|
|
|
03Fxx - Proof theory and constructive mathematics
| 03F03 |
- |
Proof theory, general |
- |
9 |
items |
| 03F07 |
- |
Structure of proofs |
- |
9 |
items |
| 03F15 |
- |
Recursive ordinals and ordinal notations |
- |
4 |
items |
| 03F30 |
- |
First-order arithmetic and fragments |
- |
3 |
items |
| 03F35 |
- |
Second- and higher-order arithmetic and fragments |
- |
5 |
items |
| 03F55 |
- |
Intuitionistic mathematics |
- |
1 |
item |
| 03F60 |
- |
Constructive and recursive analysis |
- |
2 |
items |
|
|
[
up
|
top
]
|
|
|
|
|
