Computability and Logic

George Boolos , Richard C. Jeffrey

ISBN 10: 052120402X / ISBN 13: 9780521204026

Published by Cambridge University Press, 1974

About this Item

[ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: First ] Publisher: ambridge University Press; Pub Date: 1/1/1974 Binding: hardcover Pages: 272 First edition.

Seller Inventory # 6874048

Bibliographic Details

• Title: Computability and Logic
• Publisher: Cambridge University Press
• Publication Date: 1974
• Language: English
• ISBN 10: 052120402X
• ISBN 13: 9780521204026
• Binding: Hardcover
• Condition: Poor

About this title

Synopsis

Book by Boolos, George, Jeffrey, Richard C.

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.