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)

Categories

Keywords

Reprint years

1980, 1989, 2002, 2005, 2007, 2008, 2012

Call number

QA9.59.B66 2007

ISBN(s)

0521389232   0511804075   9780511804076   9780511074950   9780521701464   0521809754   9780511364297   0521007585   0521877520   0521701465   9781107049277   9780521877527   052138026X   0521299675   1139164937
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

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.
Computability: Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein - 2004
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.
Turing oracle machines, online computing, and three displacements in computability theory.Robert I. Soare - 2009 - Annals of Pure and Applied Logic 160 (3):368-399.
Computability, an introduction to recursive function theory.Nigel Cutland - 1980 - New York: Cambridge University Press.
A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.
George S. Boolos, John P. Burgess, Richard C. Jeffrey, Computability and Logic.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:271-276.
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.
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.
Soundness and completeness of the Cirquent calculus system CL6 for computability logic.Wenyan Xu & Sanyang Liu - 2012 - Logic Journal of the IGPL 20 (1):317-330.
Proofs and computations.Helmut Schwichtenberg - 2012 - 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
35 (#446,573)

6 months
19 (#130,686)

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.
Symposium on Writing the Book of the World.Theodore Sider - 2013 - Analysis 73 (4):751-770.
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 56 citations / Add more citations

References found in this work

No references found.

Add more references