The book is currently out of stock
More about the book
Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.
Book purchase
Sequents and Trees, Andrzej Indrzejczak
- Language
- Released
- 2021
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.