Computability and Logic

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

ISBN 10: 0521007585 / ISBN 13: 9780521007580

Published by Cambridge University Press, s.l, 2002

About this Item

368 S. Oktn. 680 Gramm.

Seller Inventory # 53976

Bibliographic Details

• Title: Computability and Logic
• Publisher: Cambridge University Press, s.l
• Publication Date: 2002
• Language: English
• ISBN 10: 0521007585
• ISBN 13: 9780521007580
• Binding: Kartoniert
• Edition: 4. Auflage.
• Weight: 680 grams
• Book Type: Buch
• Seller catalogs:
  • VARIA-1

About this title

Synopsis

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.

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.