Logic, Logic & Foundations of Mathematics, Mathematical Series, Mathematics - General & Miscellaneous
Available on Bookshop
Write a review
Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Log in to track your reading progress.
Overview
The third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and probability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences.Synopsis
Computability and Logic is a classic because of its accessibility to students without a mathematical background.
Booknews
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)
Editorials
From The Critics
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)Book Details
Published
September 1, 2007
Publisher
Cambridge University Press
Pages
366
Format
Paperback
ISBN
9780521701464