Mon premier blog

Computability and Logic, 4th edition by George S. Boolos, John P. Burgess, Richard C. Jeffrey,

Download Computability and Logic, 4th edition

Computability and Logic, 4th edition George S. Boolos, John P. Burgess, Richard C. Jeffrey,
Language: English
Page: 368
Format: pdf
ISBN: 0521809754, 9780511078064
Publisher:

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

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.