{"product_id":"structural-proof-theory-9780521068420","title":"Structural Proof Theory","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eStructural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTrade Review\u003c\/b\u003e\u003cbr\u003e\"....The book makes significant original contributions while remaining accessible to the logician\/philosopher\/mathematician who wants to learn elementary proof theory....\"   Aldo Antonelli, University of California, Irvine\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003eIntroduction; 1. From natural deduction to sequent calculus; 2. Sequent calculus for institutionistic logic; 3. Sequent calculus for classical logic; 4. The quantifiers; 5. Variants of sequent calculi; 6. Structural proof analysis of axiomatic theories; 7. Intermediate logical systems; 8. Back to natural deduction; Conclusion: diversity and unity in structural proof theory; Appendix A. Simple type theory and categorical grammar; Appendix B. Proof theory and constructive type theory; Appendix C. A proof editor for sequent calculus.","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":51767587602775,"sku":"9780521068420","price":37.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9780521068420.jpg?v=1758713884","url":"https:\/\/bookcurl.com\/products\/structural-proof-theory-9780521068420","provider":"Book Curl","version":"1.0","type":"link"}