Edition |
4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey. |
Description |
1 online resource (xi, 356 pages) : illustrations |
Physical Medium |
polychrome |
Description |
text file |
Bibliography |
Includes bibliographical references (page 348) and index. |
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. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Computable functions.
|
|
Computable functions. |
|
Recursive functions.
|
|
Recursive functions. |
|
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
Genre/Form |
Electronic books.
|
|
Electronic books.
|
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 book) |
|
9780511078064 (electronic book) |
|
0511076495 (electronic book ; Adobe Reader) |
|
9780511076497 (electronic book ; Adobe Reader) |
|
9781139164931 (electronic book) |
|
1139164937 (electronic book) |
|
0521809754 |
|
9780521809757 |
|
0521007585 |
|
9780521007580 |
|