The book is currently out of stock
More about the book
This book offers an in-depth exploration of sequent calculi, highlighting their significance alongside more familiar proof systems. It covers a diverse array of non-classical logics, such as intuitionistic, relevance, linear, and modal logics. The author details various proof systems, emphasizing the development of cut theorems and decidability theorems. This comprehensive treatment aims to enhance understanding and appreciation of sequent calculi within the broader context of logic.
Book purchase
Proof Theory, Katalin Bimbó
- Language
- Released
- 2014
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.