Books Price Comparison (Including Amazon) - Guaranteed Lowest Prices on Books


Computability and Logic

Computability and Logic
Author: George S. Boolos - John P. Burgess - Richard C. Je
ISBN 13: 9780521701464
ISBN 10: 521701465
Edition: 5
Publisher: Cambridge University Press
Publication Date: 2007-09-17
Format: Paperback
Pages: 366
List Price: $34.99

Computability and Logic is a classic because of its accessibility to students without a mathematical background.


This intermediate logic textbook for philosophy and computer science students introduces Gödel's completeness theorem, several incompleteness theorems, their attendant lemmas and corollaries, the theory of Turing machines, recursive functions, definability, and decidability. The fourth edition adds problems at the end of each chapter. Annotation c. Book News, Inc., Portland, OR (booknews.com)