KatalinBimbo
Proof Theory: Sequent Calculi and Related Formalisms
Proof Theory: Sequent Calculi and Related Formalisms
💎 Earn 297 Points (£2.97) on this item.
We can order this item for you. Delivery usually takes about 4 to 6 weeks.
This item is not held in our immediate stock. We will order it for you after checkout.
Estimated delivery: About 4 to 6 weeks
YOU SAVE £3.53
- 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 Proof Theory: Sequent Calculi and Related Formalisms
Format: Paperback / softback
Length: 386 pages
Publication date: 14 October 2024
Publisher: Taylor & Francis Ltd
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from
Weight: 580g
Dimension: 156 x 234 x 24 (mm)
ISBN-13: 9781032920771
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.
