{"product_id":"deduction-systems-book-rolf-socher-ambrosius-9781461274797","title":"Deduction Systems","description":"Whitehead and Russell showed in their Principia Mathematica that the entirety of classical mathematics can be developed within the framework of a formal calculus, and in 1930, Skolem, Herbrand, and Godel demonstrated that the first-order predicate calculus (which is such a calculus) is complete, i.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52617350709521,"sku":"NLS9781461274797","price":69.09,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461274797.jpg?v=1785924879","url":"https:\/\/www.worldofbooks.com\/products\/deduction-systems-book-rolf-socher-ambrosius-9781461274797","provider":"World of Books ","version":"1.0","type":"link"}