Computability and Logic 2ed by George Boolos

  •
1 1

Computability and Logic 2ed by George Boolos

Checking stock...
Checking stock...
Proud to be B-Corp

Our business meets the highest standards of verified social and environmental performance, public transparency and legal accountability to balance profit and purpose. In short, we care about people and the planet.

The feel-good place to buy books
  • Free delivery in Australia
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • Proud to be a B Corp – A Business for good
  • Buy-back with Ziffit

Computability and Logic 2ed by George Boolos

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.

You might also like

Richard Jeffrey (1926-2002) was Professor of Philosophy, Princeton University.

John P. Burgess is Professor of Philosophy, Princeton University.

SKU Unavailable
ISBN 13 9780521299671
ISBN 10 0521299675
Title Computability and Logic 2ed
Author George Boolos
Condition Unavailable
Binding Type Paperback
Publisher Cambridge University Press
Year published 1980-12-04
Number of pages 304
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.