Andrzej Indrzejczak
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
💎 Earn 146 Points (£1.46) on this item.
YOU SAVE £25.78
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £3.89. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Format: Hardback
Length: 345 pages
Publication date: 17 December 2020
Publisher: Springer Nature Switzerland AG
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Weight: 682g
Dimension: 161 x 242 x 29 (mm)
ISBN-13: 9783030571443
Edition number: 1st ed. 2021
UK and International shipping information
UK and International shipping information
We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.
