Edition |
5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey. |
Description |
1 online resource (xiii, 350 pages) : illustrations |
Physical Medium |
polychrome |
Description |
text file |
Bibliography |
Includes bibliographical references (page 341) and index. |
Contents |
Enumerability -- Diagonalization -- Turing Computability -- Uncomputability -- Abacus Computability -- Recursive Functions -- Recursive Sets and Relations -- Equivalent Definitions of Computability -- Precis of First-Order Logic: Syntax -- Precis of First-Order Logic: Semantics -- Undecidability of First-Order Logic -- Models -- Existence of Models -- Proofs and Completeness -- Arithmetization -- Representability of Recursive Functions -- Indefinability, Undecidability, Incompleteness -- Unprovability of Consistency -- Normal Forms -- Craig Interpolation Theorem -- Monadic and Dyadic Logic -- Second-Order Logic -- Arithmetical Definability -- Decidability of Arithmetic without Multiplication -- Nonstandard Models -- Ramsey's Theorem -- Modal Logic and Provability. |
Summary |
This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem. |
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.
|
Added Author |
Burgess, John P., 1948-
|
|
Jeffrey, Richard C.
|
Other Form: |
Print version: Boolos, George. Computability and logic. 5th ed. Cambridge ; New York : Cambridge University Press, 2007 9780521877527 (DLC) 2007014225 (OCoLC)122526900 |
ISBN |
9780511649448 (electronic book) |
|
0511649444 (electronic book) |
|
9780511804076 (electronic book) |
|
0511804075 (electronic book) |
|
9780521877527 (hardback) |
|
0521877520 (hardback) |
|
9780521701464 (paperback) |
|
0521701465 (paperback) |
|