1. |
Metamathematics
|
LC Classification (LCC)
|
ClassNumber Topic |
|
QA9.8 |
|
Science--Mathematics--Philosophy--Mathematical logic--Metamathematics ; Metamathematics--Mathematical logic |
2. |
Metamathematics
|
LC Subject Headings (LCSH)
|
Topic SimpleType Authority |
|
sh85084269 |
|
|
3. |
Shankar, N. Metamathematics, machines, and Gödel's proof
|
BIBFRAME Instances
|
Instance |
|
3499378 |
|
|
4. |
Shankar, N. Metamathematics, machines, and Gödel's proof
|
BIBFRAME Works
|
Work Text Monograph |
|
3499378 |
|
|
6. |
Kleene, Stephen Cole, 1909-1994 Introduction to metamathematics
|
BIBFRAME Instances
|
Instance |
|
16008650 |
|
|
7. |
Wolfram, Stephen, 1959- Metamathematics
|
BIBFRAME Instances
|
Instance |
|
22688170 |
|
|
9. |
Tarski, Alfred Logic, semantics, metamathematics
|
BIBFRAME Instances
|
Instance |
|
7930730 |
|
|
10. |
Rasiowa, Helena The mathematics of metamathematics
|
BIBFRAME Instances
|
Instance |
|
4532305 |
|
|
12. |
Hájek, Petr Metamathematics of first-order arithmetic
|
BIBFRAME Instances
|
Instance |
|
1087836 |
|
|
13. |
Wolfram, Stephen, 1959- Metamathematics
|
BIBFRAME Instances
|
Instance |
|
22685459 |
|
|
15. |
Tarski, Alfred Logic, semantics, metamathematics
|
BIBFRAME Instances
|
Instance |
|
3768430 |
|
|
16. |
Murawski, Roman Recursive functions and metamathematics
|
BIBFRAME Instances
|
Instance |
|
11761386 |
|
|
17. |
Hájek, Petr Metamathematics of fuzzy logic
|
BIBFRAME Instances
|
Instance |
|
1671221 |
|
|
18. |
Smullyan, Raymond M. Recursion theory for metamathematics
|
BIBFRAME Instances
|
Instance |
|
1089468 |
|
|
19. |
Boos, William Metamathematics and the philosophical tradition
|
BIBFRAME Instances
|
Instance |
|
20429771 |
|
|
20. |
Robinson, Abraham, 1918-1974 On the metamathematics of algebra
|
BIBFRAME Instances
|
Instance |
|
4055601 |
|
|