Computability and Logic 2ed by George Boolos

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.

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.