Computability and Logic
Download or Read eBook Computability and Logic PDF 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.
| 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) |
Book Synopsis Computability and Logic by : George S. Boolos
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.
