The book is currently out of stock
Parameters
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, unknown
- Language
- Released
- 2014
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Advances in Natural Deduction
- Language
- English
- Authors
- unknown
- Publisher
- Springer / Springer Netherlands
- Released
- 2014
- Format
- Hardcover
- ISBN13
- 9789400775473
- Description
- 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.