{"product_id":"the-logic-of-provability-9780521483254","title":"The Logic of Provability","description":"\u003cp\u003e • Author(s): George S. Boolos | Boolos George S.\u003cbr\u003e • Publisher: Cambridge University Press\u003cbr\u003e • Publisher Imprint: Cambridge University Press\u003cbr\u003e • BISAC: Mind \u0026amp; Body\u003c\/p\u003e\u003cp\u003eThis book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Paperback","offer_id":47614857838743,"sku":"9780521483254","price":4337.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780521483254.webp?v=1775097049","url":"https:\/\/atlanticbooks.com\/products\/the-logic-of-provability-9780521483254","provider":"Atlantic Books","version":"1.0","type":"link"}