Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-41 of 41 results
The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes.
- Text
- Berlin, New York, Springer, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 no. 324-328 Offsite El teorema de Goedel / Emilio Díaz Estévez.
- Text
- Pamplona : Ediciones Universidad de Navarra, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSD 77-413 Offsite Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen.
- Text
- Berlin ; New York : Springer-Verlag, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSE 80-639 Offsite Word problems II : the Oxford book / edited by S. I. Adian, W. W. Boone, G. Higman.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North Holland, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 81-927 Offsite Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.].
- Text
- Berlin : Akademie-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSK 81-109 v. 3-4 Offsite Formal number theory and computability : a workbook / by Alec Fisher.
- Text
- Oxford [Oxfordshire] : Clarendon Press, 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text JSE 83-898 Offsite C.G. Jung and the archetypes of the collective unconscious / Robin Robertson.
- Text
- New York : Lang, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JFD 87-6388 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.
Gödel's incompleteness theorems / Raymond M. Smullyan.
- Text
- New York : Oxford University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1740 Offsite Metamathematics, machines, and Gödel's proof / N. Shankar.
- Text
- Cambridge ; New York : Cambridge University Press, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSF 95-1094 Offsite Consistent calculus / Hans-Otto Carmesin.
- Text
- Berlin : Koster, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSD 96-7 Offsite Shadows of the mind : a search for the missing science of consciousness / Roger Penrose.
- Text
- Oxford ; New York : Oxford University Press, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JFE 96-112 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.
Jungian archetypes : Jung, Gödel, and the history of archetypes / Robin Robertson.
- Text
- York Beach, Me. : Nicolas-Hays : Distributed to the trade by Samuel Weiser, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JFD 96-23759 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.
On formally undecidable propositions of Principia mathematica and related systems. Translated by B. Meltzer. With introd. by R.B. Braithwaite.
- Text
- New York, Basic Books [c1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Text OFO (Godel, K. On formally undecidable propositions of Principia mathematica) Offsite Gödel's proof, by Ernest Nagel and James R. Newman.
- Text
- [New York] New York University Press, 1958.
- 1958
- 1 Item
Item details Format Call Number Item Location Text OEI (Nagel, E. Godel's proof) Offsite A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers.
- Text
- Amsterdam, North-Holland Pub. Co., 1959.
- 1959
- 1 Item
Item details Format Call Number Item Location Text OEI (Bouvere, K. L. de. Method in proofs of undefinability) Offsite Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen.
- Text
- Berlin, Springer, 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Text OIN (Hermes, H. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit) 1961 Offsite Enumerability, decidability, computability; an introduction to the theory of recursive functions by Hans Hermes. Translated by G.T Herman and O. Plassmann.
- Text
- Berlin, New York, Springer-Verlag, 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text OIN (Hermes, H. Enumerability, decidability, computability) 1965 Offsite Impossibility : the limits of science and the science of limits / John D. Barrow.
- Text
- Oxford ; New York : Oxford University Press, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-1450 Offsite Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel.
- Text
- Amsterdam, North-Holland Pub. Co., 1952.
- 1952
- 1 Item
Item details Format Call Number Item Location Text VBA p.v. 1404 no. 1-5 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.
Forever undecided : a puzzle guide to Gödel / by Raymond Smullyan.
- Text
- New York, N.Y. : Knopf, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSD 00-146 Offsite Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski.
- Text
- Dordrecht, Netherlands ; Boston : Kluwer Academic , c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1321 Offsite Gödel's proof / by Ernest Nagel and James R. Newman.
- Text
- New York : New York University Press, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JFD 02-11515 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.
The large, the small, and the human mind / Roger Penrose ... [et al.] ; edited by Malcolm Longair.
- Text
- Cambridge ; New York : Cambridge University Press, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JFD 05-4148 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.
Gödel's theorem in focus / edited by S.G. Shanker.
- Text
- London ; New York : Croom Helm, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSD 88-602 Offsite Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.].
- Text
- Berlin : Akademie-Verlag, 1980.
- 1980
Kurt Gödel : philosophical explorations : history and theory / Daniele Chiffi ; preface by Arcangelo Rossi.
- Text
- Roma : Aracne, 2012.
- 2012
- 1 Item
Item details Format Call Number Item Location Text JSE 12-266 Offsite Da Hilbert a von Neumann : la svolta pragmatica nell'assiomatica / Giambattista Formica.
- Text
- Roma : Carocci, 2013.
- 2013
- 1 Item
Item details Format Call Number Item Location Text ReCAP 13-27953 Offsite John R. Lucas against mechanism / edited by Paolo Labinaz.
- Text
- Milano : Mimesis, [2016]
- 2016
- 1 Item
Item details Format Call Number Item Location Text ReCAP 18-73138 Offsite Il teorema di Gödel : un trattato sulla conoscenza / Maurizio Cotti Piccinelli.
- Text
- Genova : Il melangolo, [2018]
- 2018
- 1 Item
Item details Format Call Number Item Location Text ReCAP 18-77489 Offsite Challenge to Gödel's proof / by Nils Aall Barricelli.
- Text
- Oslo, Norway : Blindern Theoretic Research Team, [1983].
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA9.65 .B37 1983 Off-site Incompletezza : saggio su Kurt Gödel / Gabriele Lolli.
- Text
- Bologna : Il Mulino, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA9.65 .L65 1992 Off-site Jungian archetypes : Jung, Gödel, and the history of archetypes / Robin Robertson.
- Text
- York Beach, ME : Nicolas-Hays, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text BF175.5.A72 R64 1995 Off-site First International Symposium on Gödel's Theorems : Paris, 27- 29 May, 1991 / editor, Z.W. Wolkowski.
- Text
- Singapore ; River Edge, NJ : World Scientific, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA9.65 .I58 1991 Off-site Undecidable theories. In collaboration with Andrzej Mostowski and Raphael M. Robinson.
- Text
- Amsterdam, North-Holland Pub. Co., 1968.
- 1968
- 1 Item
Item details Format Call Number Item Location Text QA248 21 Off-site Not available - Please for assistance.Die Gödelschen Unvollständikeitssätze : zur Geschichte ihrer Entstehung und Rezeption / Christel Ketelsen.
- Text
- Stuttgart : F. Steiner, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA9.65 .K48 1994 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 Herr Warum : la musica di Gödel / testi di Evandro Agazzi ... [et al.] ; a cura di Franco Pollini.
- Text
- Cesena : Il ponte vecchio, 2007.
- 2007
Tutti pazzi per Gödel! : la guida completa al teorema di incompletezza / Francesco Berto.
- Text
- Roma : Laterza, 2008.
- 2008
Una guida ai risultati di incompletezza di Kurt Gödel / Duccio Pianigiani.
- Text
- Pisa : ETS, c2008.
- 2008
Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz ... [et al.].
- Text
- New York : Cambridge University Press, 2011.
- 2011
- 1 Item
Item details Format Call Number Item Location Text QA9.65 .K87 2011 Off-site Kurt Gödel : philosophical explorations : history and theory / Daniele Chiffi ; preface by Arcangelo Rossi.
- Text
- Roma : Aracne, 2012.
- 2012
- 1 Item
Item details Format Call Number Item Location Text QA9.65 .C46 2012 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.
