{"product_id":"godels-incompleteness-theorems-oxford-logic-guides-9780195046724","title":"Godel's Incompleteness Theorems (Oxford Logic Guides)","description":"\u003cp\u003eKurt Godel  the greatest logician of our time  startled the world of mathematics in 1931 with his Theorem of Undecidability  which showed that some statements in mathematics are inherently \"undecidable.\" His work on the completeness of logic  the incompleteness of number theory  and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume  Raymond Smullyan  himself a well-known logician  guides the reader through the fascinating world of Godels incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear  concise introduction to a difficult but essential subject  the book will appeal to mathematicians  philosophers  and computer scientists.\u003c\/p\u003e","brand":"My Store","offers":[{"title":"Default Title","offer_id":45280463978549,"sku":"ByrdShop_0195046722","price":290.94,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0627\/8139\/0901\/files\/9780195046724.jpg?v=1780637421","url":"https:\/\/atxbooks.com\/products\/godels-incompleteness-theorems-oxford-logic-guides-9780195046724","provider":"ATX Books","version":"1.0","type":"link"}