Computability and Logic PDF (Adobe DRM) download by George S. Boolos

Computability and Logic

Cambridge University Press
Publication date: November 2007
ISBN: 9780511364297
Digital Book format: PDF (Adobe DRM)

Buy PDF

List price:
$28.00
Our price:
$25.99

You save: $2.01 (7%)
Computability and Logic has become a classic because of its accessibility to students 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. This fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This new edition is also accompanied by a website as well as an instructor's manual.
Please sign in to review this product.
Format:
Devices:
Computability and Logic PDF (Adobe DRM) can be read on any device that can open PDF (Adobe DRM) files.

File Size:
2484 Kb
Language:
ENG
Copy From Text:
Enabled. Limit of 5 selections within 30 days.
Printing:
Enabled. Limit of 20 pages within 30 days.
Other books by George S. Boolos
Computability and Logic PDF (Adobe DRM) download by George S. Boolos
Computability and Logic
George S. Boolos & John P. Burgess & Richard C. Jeffrey
Cambridge University Press, May 2002
ISBN: 9780521809757
Format: PDF
List Price: $28.00 Our price: $25.99