545328
9780521809757
Out of Stock
The item you're looking for is currently unavailable.
This fourth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.George S. Boolos is the author of 'Computability and Logic', published 2002 under ISBN 9780521809757 and ISBN 0521809754.
[read more]