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, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This fifth edition was first published in 2007.

366 pages, black & white illustrations, figures

Media	Books Hardcover Book (Book with hard spine and cover)
Released	September 17, 2007
ISBN13	9780521877527
Publishers	Cambridge University Press
Pages	366
Dimensions	184 × 253 × 25 mm · 883 g
Language	English

See all of George S. Boolos ( e.g. Paperback Book and Hardcover Book )