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)