Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 59 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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/text OEI (Ladriere, J. Limitations internes des formalismes) 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 Book/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 Book/text JME 00-744 Offsite Item details Format Call Number Item Location Book/text JSE 99-1165 Offsite 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
Available Online
http://hdl.handle.net/2027/nyp.33433107832580Item details Format Call Number Item Location Book/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 Book/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 Book/text L-11 1283 v. 6 Offsite Praematura / Rudolf Heinz.
- Text
- Düsseldorf : Peras, 2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Book/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 Book/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.
Fondements des mathématiques et critique philosophique : contribution de Jean Ladrière / Norbert Kalindula.
- Text
- Louvain-la-Neuve : Academia, [2024]
- 2024
- 1 Item
Item details Format Call Number Item Location Book/Text ReCAP 24-111162 Offsite 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 Book/text BF315 .G59x 1983 Errata slip inserted. 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 Book/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 Book/Text Heb 44702.746 Off-site Godel, Esher, Bakh.
- Text
- 2011
- 1 Item
Item details Format Call Number Item Location Book/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 Book/text 8126.676.2 Off-site Fondements des mathématiques et critique philosophique : contribution de Jean Ladrière / Norbert Kalindula.
- Text
- Louvain-la-Neuve : Academia, [2024]
- 2024
- 1 Item
Item details Format Call Number Item Location Book/text QA8.6 .K35 2024 Off-site Theory of formal systems.
- Text
- Princeton, N.J., Princeton University Press, 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/text 8105.777 Off-site Metamathematik.
- Text
- Mannheim, Bibliographisches Institut [c1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Book/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 Book/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 Book/text 8126.876 Off-site Het belang van metatheoretisch onderzoek voor de toegepaste wiskunde / door G. K. Braun.
- Text
- Groningen, J. B. Wolters, 1960.
- 1960
- 1 Item
Item details Format Call Number Item Location Book/text 8105.209 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.
