{"product_id":"9780521701464","title":"Computability and Logic (5TH)","description":"\u003cp\u003eComputability 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.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":49708447727864,"sku":"00000_00000_00000_00000","price":86.16,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/8208\/6904\/files\/9780521701464-1.jpg?v=1783599881","url":"https:\/\/kinokuniya.com.au\/products\/9780521701464","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}