Computability and Logic View Online By George S. Boolos
| Title | : | Computability and Logic |
| Author | : | George S. Boolos |
| Format | : | Paperback |
| Page | : | 350 pages |
| ISBN | : | 0521701465 |
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel s incompleteness theorems, but also a large number of optional topics, from Turing s theory of computability to Ramsey s theorem Including a selection of ex Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel s incompleteness theorems, but also a large number of optional topics, from Turing s theory of computability to Ramsey s theorem Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems
Logic, Logic, and Logic
The Logic of Provability
Meaning And Method: Essays In Honor Of Hilary Putnam
The Unprovability of Consistency: An Essay in Modal Logic
Title: Computability and LogicPosted by:
Published :
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simp
Tidak ada komentar:
Posting Komentar