{"product_id":"diagonalization-and-self-reference","title":"Diagonalization and Self-Reference","description":"\u003cp\u003eThe main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics.  The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.\u003c\/p\u003e","brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":43972413915374,"sku":"9780198534501","price":503.72,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0630\/9612\/7726\/files\/9780198534501.jpg?v=1706214784","url":"https:\/\/bookland.com.au\/products\/diagonalization-and-self-reference","provider":"Book Land AU","version":"1.0","type":"link"}