We a good story
Quick delivery in the UK

Proof Theory

About Proof Theory

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

Show more
  • Language:
  • English
  • ISBN:
  • 9781032920771
  • Binding:
  • Paperback
  • Pages:
  • 386
  • Published:
  • October 13, 2024
  • Dimensions:
  • 234x156x24 mm.
  • Weight:
  • 580 g.
Delivery: 1-2 weeks
Expected delivery: January 5, 2025
Extended return policy to January 30, 2025
  •  

    Cannot be delivered before Christmas.
    Buy now and print a gift certificate

Description of Proof Theory

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

User ratings of Proof Theory



Find similar books
The book Proof Theory can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.