ENGLISH

Computability and logic

By John P. Burgess , George S. Boolos , Richard C. Jeffrey

Book information

Publisher
Cambridge University Press
Year
2002
ISBN
9780521007580, 0521007585, 0521809754
LCC
QA9.59 .B66 2002
Open Library ID
OL22537246M
Language
english
Format
PDF
Filesize
2 MB (1855213 bytes)
Edition
4th ed
Pages
370\370
Topic
Mathematics Logic
Library
Kolxo3
Time added
2009-07-20 03:45:11

Description

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has enhanced the book by adding a selection of problems at the end of each chapter.

Similar books