Computability and Logic

Boolos, George S.

ISBN 10: 0521007585 / ISBN 13: 9780521007580

Published by Cambridge University Press, 2003

About this Item

This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521007580.

Seller Inventory # 9889925

Bibliographic Details

• Title: Computability and Logic
• Publisher: Cambridge University Press
• Publication Date: 2003
• Language: English
• ISBN 10: 0521007585
• ISBN 13: 9780521007580
• Binding: Soft cover
• Edition: 4th Edition
• Condition: Poor
• Weight: 750 grams
• Seller catalogs:
  • Computing

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.