| Edition |
4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey. |
| Description |
1 online resource (xi, 356 pages) : illustrations |
| Bibliography |
Includes bibliographical references (page 348) and index. |
| Note |
Print version record. |
| Contents |
Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Computability Theory; 1 Enumerability; 2 Diagonalization; 3 Turing Computability; 4 Uncomputability; 5 Abacus Computability; 6 Recursive Functions; 7 Recursive Sets and Relations; 8 Equivalent Definitions of Computability; Basic Metalogic; 9 A Précis of First-Order Logic: Syntax; 10 A Précis of First-Order Logic: Semantics; 11 The Undecidability of First-Order Logic; 12 Models; 13 The Existence of Models; 14 Proofs and Completeness; 15 Arithmetization; 16 Representability of Recursive Functions. |
| Summary |
Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters. |
| Subject |
Computable functions.
|
|
Recursive functions.
|
|
Logic, Symbolic and mathematical.
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Computable functions. (OCoLC)fst00871985
|
|
Logic, Symbolic and mathematical. (OCoLC)fst01002068
|
|
Recursive functions. (OCoLC)fst01091984
|
|
Logica.
|
|
Berekenbaarheid.
|
| Added Author |
Burgess, John P., 1948-
|
|
Jeffrey, Richard C.
|
| Other Form: |
Print version: Boolos, George. Computability and logic. 4th ed. Cambridge ; New York : Cambridge University Press, 2002 0521809754 0521007585 (DLC) 2001043302 (OCoLC)47755792 |
| ISBN |
0511078064 (electronic bk.) |
|
9780511078064 (electronic bk.) |
|
0511076495 (electronic bk. ;) (Adobe Reader) |
|
9780511076497 (electronic bk. ;) (Adobe Reader) |
|
9781139164931 (electronic bk.) |
|
1139164937 (electronic bk.) |
|
