Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-23 of 23 results
Diagonalization and self-reference / Raymond M. Smullyan.
- Text
- Oxford ; New York : Clarendon Press, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-236 Offsite Higher order logic and hardware verification / T. Melham.
- Text
- Cambridge ; New York : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSF 95-872 Offsite Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek.
- Text
- Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 96-337 Offsite Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 99-723 Offsite Extensions of first order logic / María Manzano.
- Text
- Cambridge ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSF 99-522 Offsite Fuzzy logic application for modeling man-in-the-loop space shuttle proximity operations [microform] / by Robert B. Brown.
- Text
- Cambridge, Mass. : Draper Laboratory ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
- 1994
TBell [microform] : a mathematical tool for analyzing decision tables / D.N. Hoover and Zewei Chan.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
- 1994
Open architectures for formal reasoning and deductive technologies for software development [microform] : final report 5/1/91-7/31/94, grant no. NAG2-703 / principal investigators, John McCarthy, Zohar Manna ... [et al.].
- Text
- [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
- 1994
Research in the development and certification of safety-related software [microform] : summary of research, 17 July 1995-31 July 1997 : prepared under grant number: NAG-1-1724 ... / principal investigators: Janet Flynt and Charlotte Scheper.
- Text
- [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
- 1997
Formal methods and their role in digital systems validation for airborne systems [microform] / John Rushby.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, VA : Available from the National Technical Information Service, 1995]
- 1995
Data and results of a laboratory investigation of microprocessor upset caused by simulated lightning-induced analog transients [microform] / Celeste M. Belcastro.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1984]
- 1984
Higher order logic and hardware verification / T. Melham.
- Text
- Cambridge : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text TK7874 .M46 1993g Off-site Automated deduction in multiple-valued logics / Reiner Hähnle.
- Text
- Oxford : Clarendon Press ; New York : Oxford University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 H34 1993 Off-site The logic of sequences : a generalization of Principia mathematica / W.V. Quine.
- Text
- New York : Garland Pub., 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA9 .Q54 1990 Off-site 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 First order mathematical logic / by Angelo Margaris.
- Text
- New York : Dover Publications, 1990.
- 1990-1967
- 1 Item
Item details Format Call Number Item Location Text QA9 .M32 1990 Off-site Non-standard logic and its applications : (several lectures in Oxford) / Alexander A. Zinoviev.
- Text
- Oxford : Willem A. Meeuws, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text BC135 .Z573 1983g Off-site Essentials of symbolic logic.
- Text
- Routledge, 1988.
- 1987
- 1 Item
Item details Format Call Number Item Location Text BC135 Off-site A List of certain letters inserted in books from the Library of Augustus De Morgan (1806-1871) now in the University of London Library / compiled by Maxine Merrington.
- Text
- London : University of London Library, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text Off-site Computer logic.
- Text
- London, New York, Wiley-Interscience [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text QA401.R64 Off-site Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris.
- Text
- Amsterdam ; New York : North Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA9.A1L63 1977 Off-site Computer logic.
- Text
- London, New York, Wiley-Interscience [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text QA401.R64 Off-site Éléments de logique mathématique, théorie des modèles, [par] G. Kreisel ... J.L. Krivine.
- Text
- Paris, Dunod, 1967.
- 1967
- 1 Item
Item details Format Call Number Item Location Text 8126.542 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.
