{"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":"Raymond M. Smullyan","offers":[{"title":"Default Title","offer_id":43643445280829,"sku":"9780198534501","price":577.0,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0597\/7689\/2989\/files\/9780198534501.jpg?v=1789684707","url":"https:\/\/www.palmleaf.com.au\/products\/diagonalization-and-self-reference","provider":"Palmleaf","version":"1.0","type":"link"}