HOME | BESTSELLERS | NEW RELEASES | PRICE WATCH | FICTION | BIOGRAPHIES | E-BOOKS |
Computability and Logic Book
* Excludes Voucher Code Discount Also available Used from £22.27
-
Foyles
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. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.
-
Blackwell
Computability and Logic is a classic because of its accessibility to students without a mathematical background. Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it...
-
Pickabook
George S. Boolos, John P. Burgess, Richard C. Jeffrey
- 0521701465
- 9780521701464
- George S. Boolos, John P. Burgess, Richard C. Jeffrey
- 17 September 2007
- Cambridge University Press
- Paperback (Book)
- 364
- 5
Would you like your name to appear with the review?
We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.
All form fields are required.