The Library of Congress > Linked Data Service
 
  Label Dataset Type Subdivision Identifier
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
5. Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967 The metamathematics of algebraic systems, collected papers: 1936-1967

 BIBFRAME Works
 Work
Text
Monograph		 3617506
6. Kleene, Stephen Cole, 1909-1994 Introduction to metamathematics

 BIBFRAME Instances
 Instance 16008650
7. Wolfram, Stephen, 1959- Metamathematics

 BIBFRAME Instances
 Instance 22688170
8. Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967 The metamathematics of algebraic systems, collected papers: 1936-1967

 BIBFRAME Instances
 Instance 3617506
9. Tarski, Alfred Logic, semantics, metamathematics

 BIBFRAME Instances
 Instance 7930730
10. Rasiowa, Helena The mathematics of metamathematics

 BIBFRAME Instances
 Instance 4532305
11. Robinson, Abraham, 1918-1974 Introduction to model theory and to the metamathematics of algebra

 BIBFRAME Instances
 Instance 2680225
12. Hájek, Petr Metamathematics of first-order arithmetic

 BIBFRAME Instances
 Instance 1087836
13. Wolfram, Stephen, 1959- Metamathematics

 BIBFRAME Instances
 Instance 22685459
14. Robinson, Abraham, 1918-1974 Introduction to model theory and to the metamathematics of algebra

 BIBFRAME Instances
 Instance 2388246
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


Do you need assistance with your search?