Computability And Logic
Download and Read Computability And Logic full books in PDF, ePUB, and Kindle. Read online free Computability And Logic ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Computability and Logic
Author | : George S. Boolos |
Publisher | : Cambridge University Press |
Total Pages | : 365 |
Release | : 2007-09-17 |
Genre | : Computers |
ISBN | : 0521877520 |
Download Computability and Logic Book in PDF, Epub and Kindle
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.