{"product_id":"handbook-of-proof-theory-9780444898401","title":"Handbook of Proof Theory","description":"\u003cp\u003e • Author(s): S. R. Buss\u003cbr\u003e • Publisher: Elsevier Science\u003cbr\u003e • Publisher Imprint: Elsevier Science\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eThis volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.\u003c\/p\u003e\u003cp\u003eThe chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.\u003cbr\u003e\u003c\/p\u003e","brand":"Elsevier Science","offers":[{"title":"Hardcover","offer_id":45310258806935,"sku":"9780444898401","price":11303.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780444898401.webp?v=1769287450","url":"https:\/\/atlanticbooks.com\/products\/handbook-of-proof-theory-9780444898401","provider":"Atlantic Books","version":"1.0","type":"link"}