Computability and Logic

Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,685

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Proofs and computations.Helmut Schwichtenberg - 2011 - New York: Cambridge University Press. Edited by S. S. Wainer.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
An Introduction to Gödel's Theorems.Peter Smith - 2007 - New York: Cambridge University Press.

Analytics

Added to PP
2016-02-04

Downloads
25 (#536,466)

6 months
12 (#121,050)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Burgess
Princeton University

Citations of this work

Making AI Meaningful Again.Jobst Landgrebe & Barry Smith - 2021 - Synthese 198 (March):2061-2081.
Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.
Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.

View all 54 citations / Add more citations

References found in this work

No references found.

Add more references