Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computability and Logic

Name: Computability and Logic
Brand: Cambridge University Press
SKU: 04399100
Price: 45.17 EUR
Availability: InStock
Author: George S Boolos
ISBN: 9780521701464

George S Boolos

Language

English

Book Paperback

Libristo code: 04399100

Publishers Cambridge University Press, September 2007

Computability and Logic has become a classic because of its accessibility to students without a math... Full description

Libristo code: 04399100

109 b

45.17 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Proofs and Refutations Imre Lakatos

Paperback

22.38 €

Friendly Introduction to Mathematical Logic Christopher C Leary

Paperback

33.12 €

Models Mark Manson

Paperback

12.75 €

Thinking about Mathematics Stewart Shapiro

Paperback

51.15 €

Lying Sam Harris

Hardback

14.07 €

Collected Poems Philip Larkin

Paperback

15.79 €

The Sublime Object of Ideology Slavoj Zizek

Paperback

18.22 €

Awaiting Oblivion Maurice Blanchot

Paperback

32.71 €

Inner Experience Georges Bataille

Paperback

41.83 €

Molloy, Malone Dies, the Unnamable Samuel Beckett

Hardback

23.19 €

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. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.