Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 74 results
Unvollständigkeit und Unentscheidbarkeit; die metamathematischen Resultate von Gödel, Church, Kleene, Roser und ihre erkenntnistheoretische Bedeutung. 3., verb. Aufl.
- Text
- Wien, New York, Springer-Verlag, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSD 75-875 Offsite Introduction to model theory and to the metamathematics of algebra / Abraham Robinson.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., [1974, c1963]
- 1974-1963
- 1 Item
Item details Format Call Number Item Location Text JSD 75-1338 Offsite Metamathematik / von Paul Lorenzen.
- Text
- Mannheim ; Wien : Bibliographisches Institut, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSD 82-333 Offsite Metamagical themas : questing for the essence of mind and pattern / Douglas R. Hofstadter.
- Text
- New York, N.Y. : Basic Books, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JFE 85-1582 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Introductory formal logic of mathematics.
- Text
- Glencoe, Ill., Free Press [1957]
- 1957
- 1 Item
Item details Format Call Number Item Location Text C-11 7146 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Unvollständigkeit und Unentscheidbarkeit; die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung.
- Text
- Wien, Springer, 1959.
- 1959
- 1 Item
Item details Format Call Number Item Location Text OEI (Stegmuller, W. Unvollstandigkeit und Unentscheidbarkeit. 1959) Offsite Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung.
- Text
- Wien, New York, Springer, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text OEI (Stegmuller, W. Unvollstandigkeit und Unentscheidbarkeit. 1970) Offsite Undecidable theories, by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson.
- Text
- Amsterdam, North-Holland Pub. Co., 1953.
- 1953
- 1 Item
Item details Format Call Number Item Location Text OEI (Tarski, A. Undecidable theories) Offsite Théorie métamathématique des idéaux.
- Text
- Paris, Gauthier-Villars, 1955.
- 1955
- 1 Item
Item details Format Call Number Item Location Text OEI (Robinson, A. Theorie metamathematique des ideaux) Offsite Essays on the foundations of mathematics : dedicated to A. A. Fraenkel on his seventieth anniversary / edited by Y. Bar-Hillel ... [and others] for the Hebrew University of Jerusalem.
- Text
- Jerusalem : Magnes Press, Hebrew University; sole distributors (outside Israel): North-Holland Pub. Co., Amsterdam] 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Text OEG (Hebrew University, Jerusalem. Essays on the foundations of mathematics) Offsite Introduction to metamathematics.
- Text
- New York, Van Nostrand, 1952.
- 1952
- 1 Item
Item details Format Call Number Item Location Text OEI (Kleene, S. C. Introduction to metamathematics) Offsite Les limitations internes des formalismes; étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques.
- Text
- Louvain, E. Nauwelaerts, 1957.
- 1957
- 1 Item
Item details Format Call Number Item Location Text OEI (Ladriere, J. Limitations internes des formalismes) Offsite Infinitistic methods; proceedings. [Under the auspices of the] International Mathematical Union and [organized by the] Mathematical Institute of the Polish Academy of Sciences.
- Text
- New York, Pergamon Press [1961]
- 1961
- 1 Item
Item details Format Call Number Item Location Text OFO (Symposium on Foundations of Mathematics, Warsaw, 1959. Infinitistic methods) Offsite Introduction to model theory and to the metamathematics of algebra.
- Text
- Amsterdam, North-Holland Pub. Co., 1963.
- 1963
- 1 Item
Item details Format Call Number Item Location Text OGS (Robinson, A. Introduction to model theory and to the metamathematics of algebra) Offsite Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter.
- Text
- New York : Basic Books, ©1999.
- 1999-1979
- 2 Items
Item details Format Call Number Item Location Text JME 00-744 Offsite Item details Format Call Number Item Location Text JSE 99-1165 Offsite Not available - In use until 2024-01-26 - Please for assistance.Mishpeṭe Gedel u-veʻayat ha-yesodot shel ha-matemaṭiḳah / Arnon Avron.
- Text
- [Jerusalem] : Miśrad ha-biṭaḥon, [1998]
- 1998
- 1 Item
Item details Format Call Number Item Location Text *PVD 99-841 Schwarzman Building - Dorot Jewish Division Room 111 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
The mathematics of metamathematics.
- Text
- Warszawa, Państwowe Wydawn. Naukowe, 1963.
- 1963
- 1 Item
Item details Format Call Number Item Location Text OEA (Monografje matematyczne. t. 41) Offsite Métamathématique. Traduit de l'allemand par J.B. Grize.
- Text
- Paris, Mouton, 1967.
- 1967
- 1 Item
Item details Format Call Number Item Location Text L-11 1283 v. 6 v. 6 Offsite Praematura / Rudolf Heinz.
- Text
- Düsseldorf : Peras, 2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JMD 05-728 Offsite How to bake [pi] : an edible exploration of the mathematics of mathematics / Eugenia Cheng.
- Text
- New York, NY : Basic Books, a member of the Perseus Books Group, [2015]
- 2015
- 1 Item
Item details Format Call Number Item Location Text JFE 16-8043 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Journal of formalized reasoning [electronic resource].
- Text
- Bologna, Italy : Centro Inter-Bibliotecario
- 2008-present
- 2 Resources
Available Online
See All Available Online Resources
Introduction to metamathematics.
- Text
- New York : Van Nostrand, 1952.
- 1952
- 1 Item
Item details Format Call Number Item Location Text QA9 .K65 1952b Off-site Introduction to metamathematics.
- Text
- Groningen : Wolters-Noordhoff Pub., [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text QA9 .K65 1971 Off-site A relational theory of computing / John G. Sanderson.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .S262 Off-site Scritti linguistici, matematici e giuridici / Ugo Berni Canani.
- Text
- 2003
- 1 Item
Item details Format Call Number Item Location Text P123 .B46 2003 Off-site Les limitations internes des formalismes ; étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques.
- Text
- Louvain : E. Nauwelaerts, 1957.
- 1957
- 1 Item
Item details Format Call Number Item Location Text 164 L127 Off-site Límites de la conciencia y del matema / Víctor Gómez Pin y Javier Echeverría.
- Text
- Madrid : Taurus, c1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text BF315 .G59x 1983 Off-site Metamagical themas : questing for the essence of mind and pattern / Douglas R. Hofstadter.
- Text
- New York : Basic Books, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text Q335 .H63 1985 Off-site Vom Mythos der mathematischen Vernunft : eine Archäologie zum Grundlagenstreit der Analysis oder Dokumentation einer vergeblichen Suche nach der Einheit der Mathematischen Vernunft / Detlef D. Spalt.
- Text
- Darmstadt : Wissenschaftliche Buchgesellschaft, 1981.
- 1981
- 2 Items
Item details Format Call Number Item Location Text QA8.4 .S65 1981 Off-site Item details Format Call Number Item Location Text QA299.8 .S67 1981 Off-site The collected papers of Gerhard Gentzen. Edited by M. E. Szabo.
- Text
- Amsterdam, North-Holland Pub. Co., 1969 [1970]
- 1970
- 1 Item
Item details Format Call Number Item Location Text QA9 .G329 Off-site Das Zentraldogma des Douglas R. Hofstadter in Gödel-Escher-Bach, ein endloses geflochtenes Band / Heinz Hülsmann.
- Text
- Klagenfurt : IFF, [1987]
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA9.8 .H6334 1987x Off-site Mishpeṭe Gedel u-veʻayat ha-yesodot shel ha-matemaṭiḳah / Arnon Avron.
- Text
- [Tel Aviv] : Miśrad ha-biṭaḥon, 758, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text Heb 44802.327 Off-site Mishpaṭ Godel / me-et Ernesṭ Nagel ṿe-G'emes Nyuman ; me-Anglit le-ʻIvrit, Yaʻel Harpaz-Rubin ṿe-Nitsah Movshovits-Hadar.
- Text
- Ḥefah : ha-Ṭekhniyon, Mekhon ṭekhnologi le-Yiśraʾel, 753, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text Heb 44702.746 Off-site Godel, Esher, Bakh.
- Text
- 2011
- 1 Item
Item details Format Call Number Item Location Text Heb 44711.1947 Off-site Introductory formal logic of mathematics.
- Text
- Glencoe, Ill., Free Press [1957]
- 1957
- 1 Item
Item details Format Call Number Item Location Text 8126.676.2 Off-site Theory of formal systems.
- Text
- Princeton, N.J., Princeton University Press, 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .S55 Off-site The mathematics of metamathematics / Helena Rasiowa and Roman Sikorski.
- Text
- Warszawa : Państwowe Wydawn. Naukowe, 1963.
- 1963
- 1 Item
Item details Format Call Number Item Location Text QA9 .R25 Off-site Essays on the foundations of mathematics. Dedicated to A. A. Fraenkel on his seventieth anniversary. Edited by Y. Bar-Hillel [and others] for the Hebrew University of Jerusalem.
- Text
- Jerusalem, Magnes Press, Hebrew University; Amsterdam, North-Holland Pub. Co. [sole distributors (outside Israel)] 1962.
- 1962
- 1 Item
Item details Format Call Number Item Location Text 8101.867.329 Off-site The metamathematics of algebraic systems, collected papers: 1936-1967 [by] Anatoliĭ Ivanovic Malʹcev. Translated [from the Russian], ed. and provided with supplementary notes by Benjamin Franklin Wells, III.
- Text
- Amsterdam, North-Holland Pub. Co., 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text QA9.M2813 Off-site Langage et théories dans les mathématiques nouvelles.
- Text
- Paris, A. Michel, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA9.R684 Off-site Theory of formal systems / by Raymond M. Smullyan.
- Text
- Princeton : Princeton University Press, 1961 [i.e. pref. 1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Text QA248.5.S55 1962 Off-site Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung.
- Text
- Wien, New York, Springer, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text QA9.S74 1970 Off-site Les limitations internes des formalismes; étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques.
- Text
- Louvain, E. Nauwelaerts, 1957.
- 1957
- 1 Item
Item details Format Call Number Item Location Text QA9.L28 Off-site Introduction to model theory and to the metamathematics of algebra.
- Text
- Amsterdam, North-Holland Pub. Co., 1963.
- 1963
- 1 Item
Item details Format Call Number Item Location Text 8114.777.2 Off-site A relational theory of computing / John G. Sanderson.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .S262 Off-site Théorie métamathématique des idéaux.
- Text
- Paris, Gauthier-Villars, 1955.
- 1955
- 1 Item
Item details Format Call Number Item Location Text 8105.777 Off-site Infinitistic methods; proceedings. [Under the auspices of the] International Mathematical Union and [organized by the] Mathematical Institute of the Polish Academy of Sciences.
- Text
- New York, Pergamon Press [1961]
- 1961
- 1 Item
Item details Format Call Number Item Location Text 8126.893.1959 Off-site Metamathematik.
- Text
- Mannheim, Bibliographisches Institut [c1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Text 8126.597 Off-site Summaries of talks presented at the Summer Institute for Symbolic Logic.
- Text
- [Princeton, N.J.] Communications Research Division, Institute for Defense Analyses, 1960.
- 1960
- 1 Item
Item details Format Call Number Item Location Text 8126.891.11 Off-site Unvollständigkeit und Unentscheidbarkeit; die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung.
- Text
- Wien, Springer, 1959.
- 1959
- 1 Item
Item details Format Call Number Item Location Text 8126.876 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta