5748552
9780521701464
This fifth 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.Boolos, George is the author of 'Computability and Logic', published 2007 under ISBN 9780521701464 and ISBN 0521701465.
[read more]