Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 81 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 Book/text JSE 78-339 Offsite Automata / David Hopkin, Barbara Moss.
- Text
- New York : North-Holland, c1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Book/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 Book/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 Book/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 Book/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 Book/text JSM 95-200 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 Book/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 Book/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 Book/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 Book/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 Book/text JSK 90-17 Offsite Item details Format Call Number Item Location Book/text JSK 90-17 Offsite Item details Format Call Number Item Location Book/text JSK 90-17 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 Book/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 Book/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 Book/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 Book/text JSE 96-1150 Offsite Computability & unsolvability.
- Text
- New York, McGraw-Hill, 1958.
- 1958
- 1 Item
Item details Format Call Number Item Location Book/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 Book/text OIN (Hermes, H. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit) 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 Book/text OIN (Hermes, H. Enumerability, decidability, computability) 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 Book/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 Book/Text JSE 00-2261 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 Book/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 Book/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 Book/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 Book/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 Book/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 Book/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 / Rod Downey, Noam Greenberg.
- Text
- Princeton : Princeton University Press, 2020.
- 2020
- 1 Resource
Available Online
http://WU9FB9WH4A.search.serialssolutions.com/?V=1.0&L=WU9FB9WH4A&S=JCs&C=TC0002279347&T=marc&tab=BOOKSA 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
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 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 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 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 Models of computation and formal languages / R. Gregory Taylor.
- Text
- New York : Oxford University Press, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .T39 1998 Off-site Introduction to languages and the theory of computation / John C. Martin.
- Text
- New York : McGraw-Hill, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text QA267.5.S4 M29 1997 Off-site Computable analysis : an introduction / Klaus Weihrauch.
- Text
- Berlin ; New York : Springer, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .W46 2000 Off-site Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz.
- Text
- New York : Springer, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text QA248 .C1945 2001 Off-site Computability and complexity theory / Steven Homer, Alan L. Selman.
- Text
- New York : Springer, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text QA76 .H6236 2001 Off-site Subrecursion : functions and hierarchies / H.E. Rose.
- Text
- Oxford [Oxfordshire] : Clarendon Press ; New York : Oxford University Press, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA9.615 .R67 1984 Off-site Introduction to languages and the theory of computation / John C. Martin.
- Text
- Boston : McGraw-Hill, [2003], ©2003.
- 2003-2003
- 1 Item
Available Online
http://www.loc.gov/catdir/toc/mh023/2002070865.htmlItem details Format Call Number Item Location Book/Text QA267.5.S4 M29 2003 Off-site Computation and automata / Arto Salomaa.
- Text
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .S25 1985 Off-site Computability theory / S. Barry Cooper.
- Text
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .C68 2004 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.
