Proof Theory: Sequent Calculi and Related Formalisms - Discrete Mathematics and Its Applications - Katalin Bimbo - Books - Taylor & Francis Ltd - 9781032920771 - October 14, 2024
In case cover and title do not match, the title is correct

Katalin Bimbo
Proof Theory: Sequent Calculi and Related Formalisms - Discrete Mathematics and Its Applications

Price
$ 91.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 14

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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

386 pages, 13 Illustrations, black and white

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 14, 2024
ISBN13 9781032920771
Publishers Taylor & Francis Ltd
Pages 386
Dimensions 234 × 156 × 24 mm   ·   580 g
Language English  

More by Katalin Bimbo

Show all

Mere med samme udgiver

See all of Katalin Bimbo ( e.g. Paperback Book and Hardcover Book )