20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

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

English
2012-01-18
€210.18 €262.72

-20% with code BOOKS

In stock at our supplier

Shipping in 17-23 days

30-day return policy

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, ... Full description

You May Also Like

Description

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.

More Information

Author Richard C. Jeffrey, George S. Boolos, John P. Burgess
Publisher Cambridge University Press
Release year 2012
Cover type Hardcover
EAN 9780521877527
Write Your Own Review
You're reviewing: Computability and Logic
Your Rating:

Goodreads Reviews

€210.18 €262.72