Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 128 results
The theory of computer science : a programming approach / J. M. Brady.
- Text
- London : Chapman and Hall ; New York : Wiley : distributed in the U. S.A. by Halsted Press, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSE 78-339 Offsite Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U. S.A. and Canada, Elsevier/North-Holland, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSD 78-304 Offsite Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka.
- Text
- Dordrecht ; Boston : D. Reidel, c1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSD 78-479 Offsite Automata / David Hopkin, Barbara Moss.
- Text
- New York : North-Holland, c1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSE 79-778 Offsite Unsolvable classes of quantificational formulas / Harry R. Lewis.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 80-594 Offsite Computability, an introduction to recursive function theory / Nigel Cutland.
- Text
- Cambridge [Eng.] ; New York : Cambridge University Press, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSE 81-296 Offsite Elementary computability, formal languages, and automata / Robert McNaughton.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, [1982]
- 1982
- 1 Item
Item details Format Call Number Item Location Text JSE 82-282 Offsite Recursion on the countable functionals / Dag Normann.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 810-812 Offsite Computability with Pascal / John S. Mallozzi, Nicholas J. De Lillo.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 85-722 Offsite Computation and automata / Arto Salomaa.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 86-2324 Offsite Computability theory, semantics, and logic programming / Melvin Fitting.
- Text
- New York : Oxford University Press ; Oxford [Oxfordshire] : Clarendon Press, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 87-1462 Offsite Computability and logic / Daniel E. Cohen.
- Text
- Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 88-2720 Offsite Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare.
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 89-356 Offsite Foundations of semiological theory of numbers / H.A. Pogorzelski and W.J. Ryan.
- Text
- Orono, Me. : University of Maine at Orono Press, 1982-
- 1982-present
- 3 Items
Item details Format Call Number Item Location Text JSK 90-17 v. 1 Offsite Item details Format Call Number Item Location Text JSK 90-17 v. 2 Offsite Item details Format Call Number Item Location Text JSK 90-17 v. 3 Offsite Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSF 88-646 Offsite Reflexive structures : an introduction to computability theory / Luis E. Sanchis.
- Text
- New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 89-1062 Offsite Subrecursion : functions and hierarchies / H.E. Rose.
- Text
- Oxford : Clarendon Press ; New York : Oxford University Press, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 90-1886 Offsite Computability and logic / George S. Boolos, Richard C. Jeffrey.
- Text
- Cambridge ; New York : Cambridge University Press, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 91-1040 Offsite Computability : computable functions, logic, and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli.
- Text
- Pacific Grove, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, c1989.
- 1989
Definability and computability / Yuri L. Ershov.
- Text
- New York : Consultants Bureau, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1150 Offsite Computability & unsolvability.
- Text
- New York, McGraw-Hill, 1958.
- 1958
- 1 Item
Item details Format Call Number Item Location Text E-10 7159 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.
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 Handbook of computability theory / edited by Edward R. Griffor.
- Text
- Amsterdam ; New York ; Oxford : Elsevier, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 00-421 Offsite Computable structures and the hyperarithmetical hierarchy / C.J. Ash, J. Knight.
- Text
- Amsterdam ; New York : Elsevier, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-2261 Offsite Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers / Jens Blanck, Vasco Brattka, Peter Hertling (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1445 Offsite Odin primer intuitivno vychislimoĭ vs︠i︡udu opredelennoĭ funk︠t︡sii i tezis Chërcha / Pkhakadze Sh.S.
- Text
- Tbilisi : Izd-vo Tbilisskogo universiteta, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text *QH 87-108 Offsite Recursion on the countable functionals / Dag Normann.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
Computable set theory / Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo.
- Text
- Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1989-
- 1989-present
- 1 Item
Item details Format Call Number Item Location Text JSK 92-58 v. 1 Offsite Die Sprache der Maschinen / Robert W. Floyd, Richard Beigel.
- Text
- Bonn ; Albany : International Thomson Pub. Co., 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 09-247 Offsite Turing's cathedral : the origins of the digital universe / George Dyson.
- Text
- London : Allen Lane, 2012.
- 2012
- 1 Item
Item details Format Call Number Item Location Text JFE 14-6684 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.
Turing's revolution : the impact of his ideas about computability / Giovanni Sommarug, Thomas Strahm, editors.
- Text
- Cham : Birkhäuser, [2015]
- 2015-2015
- 1 Item
Item details Format Call Number Item Location Text JFE 16-7963 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.
Three views of logic [electronic resource] : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S.G. Sterrett.
- Text
- Princeton, New Jersey : Princeton University Press, [2014]
- 2014-2014
- 2 Resources
Available Online
See All Available Online Resources
L'inconsistenza del numero : ipotesi sulla natura della computabilità / Luca M. Possati.
- Text
- Saonara (PD) : Il prato, [2017]
- 2017
- 1 Item
Item details Format Call Number Item Location Text ReCAP 18-70291 Offsite Turing's cathedral : the origins of the digital universe / George Dyson.
- Text
- New York : Pantheon Books, c2012.
- 2012
- 1 Item
Item details Format Call Number Item Location Text JBE 18-964 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.
A Hierarchy of Turing Degrees [electronic resource] : A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability (AMS-206) / Noam Greenberg, Rod Downey.
- Text
- Princeton, NJ : Princeton University Press, [2020]
- 2020-2020
- 2 Resources
Available Online
See All Available Online Resources
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.
- Text
- Berlin ; New York : Springer-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .G67 Off-site The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.
- Text
- Hewlett, N.Y. : Raven Press, [1965]
- 1965
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .D293 Off-site Proceedings of the ... annual ACM Symposium on Theory of Computing.
- Text
- New York, N.Y. : Association for Computing Machinery, Inc., c1982-
- 1982-present
- 20 Items
Item details Format Call Number Item Location Text QA76.6 .A132 v.26 1994 Off-site Item details Format Call Number Item Location Text QA76.6 .A132 v.29 1997 Off-site Item details Format Call Number Item Location Text QA76.6 .A132 v.31 1999 Off-site Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis.
- Text
- Cambridge, Mass. : MIT Press, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA242 .M4213 1993 Off-site Not available - Please for assistance.Computability and logic / [by] George Boolos [and] Richard Jeffrey.
- Text
- Cambridge [Eng.] : University Press, [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .B66 Off-site Computability & unsolvability.
- Text
- New York : McGraw-Hill, 1958.
- 1958
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .D29 Off-site Computability, 1973-1974 / Martin Davis ; notes by Barry Jacobs.
- Text
- New York : Courant Institute of Mathematical Sciences, New York University, [1974], ©1974.
- 1974-1974
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .D39 Off-site Enumerability, decidability, computability. : An introduction to the theory of recursive functions / Translated by G. T. Hermann and O. Plassmann.
- Text
- Berlin ; New York : Springer, 1969.
- 1969
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .H413 1969 Off-site Computability theory: an introduction / [by] Neil D. Jones.
- Text
- New York : Academic Press, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .J66 Off-site Theory of recursive functions and effective computability.
- Text
- New York : McGraw-Hill, [1967]
- 1967
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .R6 Off-site Elementary computability, formal languages, and automata / Robert McNaughton.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .M35 Off-site Representations of discrete functions / edited by Tsutomu Sasao, Masahiro Fujita.
- Text
- Boston : Kluwer Academic, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text TK7874.75 .R47 1996 Off-site A programming approach to computability / A.J. Kfoury, Robert N. Moll, Michael A. Arbib.
- Text
- New York, N.Y. : Springer-Verlag, [1982], ©1982.
- 1982-1982
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .K46 1982 Off-site Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3 7, 1979 / edited by J. Bečvář.
- Text
- Berlin ; New York : Springer-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA76.6.S9194 1979 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.
