Computability and Logic - Hardcover

Boolos, George; Jeffrey, Richard C.

  • 4.14 out of 5 stars
    165 ratings by Goodreads
 
9780521204026: Computability and Logic

Synopsis

Book by Boolos, George, Jeffrey, Richard C.

"synopsis" may belong to another edition of this title.

Book Description

Now in its fourth edition, this book has become a classic because of its accessibility to tudents without a mathematical background, and because it covers not simply 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 now enhanced the book by adding a selection of problems at the end of each chapter, and by reorganising and rewriting chapters to make them more independent of each other.

Review

"The writing style is excellent: although many explanations are formal, they are perfectly clear. Modern, elegant proofs help the reader understand the classic theorems and keep the book to a reasonable length." Computing Reviews

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title