Cover of George S. Boolos, John P. Burgess, Richard C. Jeffrey: Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey Computability and Logic

Price for Eshop: 873 Kč (€ 34.9)

VAT 0% included

New

E-book delivered electronically online

E-Book information

Cambridge University Press

2007

EPub
How do I buy e-book?

978-1-107-08650-0

1-107-08650-7

Annotation

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.

Ask question

You can ask us about this book and we'll send an answer to your e-mail.