The book is currently out of stock
Parameters
- 279 pages
- 10 hours of reading
More about the book
This collection honors Dag Prawitz's contributions to Proof Theory, featuring papers from the Natural Deduction conference in Rio de Janeiro. It explores topics like higher-order rules, equality in predicate calculus, and the Curry-Howard isomorphism. This volume is essential for academics across Logic, Linguistics, and Computer Science.
Book purchase
Advances in Natural Deduction, neuveden
- Language
- Released
- 2014
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.