Het boek is momenteel niet op voorraad
Parameters
- 279bladzijden
- 10 uur lezen
Meer over het boek
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.
Een boek kopen
Advances in Natural Deduction, neuveden
- Taal
- Jaar van publicatie
- 2014
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.