{"product_id":"sequents-and-trees-springer-nature-switzerland-ag-9783030571443-an-introduction-to-the-theory-and-applications-of-propositional-sequent-calculi-andrzej-indrzejczak","title":"Sequents and Trees","description":"\u003cp\u003eDiscover the fascinating world of propositional logic with \u003cstrong\u003eSequents and Trees\u003c\/strong\u003e by \u003cstrong\u003eAndrzej Indrzejczak\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021, this comprehensive textbook spans \u003cstrong\u003e345 pages\u003c\/strong\u003e and provides a thorough introduction to the methodology and applications of sequent calculi. Whether you are a student or a professional looking to deepen your understanding of logic, this book serves as an essential resource. Dive into the intricacies of sequent calculi and enhance your logical reasoning skills with expert insights from one of the leading voices in the field. Don't miss out on this valuable addition to your academic library!\u003c\/p\u003e","brand":"Andrzej Indrzejczak","offers":[{"title":"Default Title","offer_id":52260382146902,"sku":"9783030571443","price":44.85,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030571443.jpg?v=1767791164","url":"https:\/\/www.laufgard.com\/products\/sequents-and-trees-springer-nature-switzerland-ag-9783030571443-an-introduction-to-the-theory-and-applications-of-propositional-sequent-calculi-andrzej-indrzejczak","provider":"Bookshop","version":"1.0","type":"link"}