The book is currently out of stock
More about the book
This Handbook of Tableaux explores various tableaux systems across different logical frameworks, combining proof-theoretical and semantical approaches. Authored by leading experts, it reflects current research and is essential for formal logicians seeking to deepen their understanding of this intuitive methodology.
Book purchase
Handbook of Tableau Methods, M. D'Agostino, D.M. Gabbay, Reiner Hähnle, J. Posegga
- Language
- Released
- 1999
- 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.