{"product_id":"9780080533186","title":"Handbook of Proof Theory","description":"This 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.\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":"Default Title","offer_id":47071025135856,"sku":"9780080533186","price":235.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9780080533186_p0.jpg?v=1763637517","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780080533186","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}