Skip to product information
1 of 1

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.

Low Stock: Only 1 copies remaining
Regular price £29.21 GBP
Regular price £54.99 GBP Sale price £29.21 GBP
Sale Sold out
Taxes included. Shipping calculated at checkout.

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.

  • 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

We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.

View full UK and international delivery information.

View full details