Computability and Logic
Author | : George S. Boolos |
Publisher | : Cambridge University Press |
Total Pages | : 365 |
Release | : 2007-09-17 |
ISBN-10 | : 9780521877527 |
ISBN-13 | : 0521877520 |
Rating | : 4/5 (27 Downloads) |
Download or read book Computability and Logic written by George S. Boolos and published by Cambridge University Press. This book was released on 2007-09-17 with total page 365 pages. Available in PDF, EPUB and Kindle. Book excerpt: This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.