Kniha momentálne nie je na sklade
Parametre
Viac o knihe
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.
Nákup knihy
Advances in Natural Deduction, neuvedený
- Jazyk
- Rok vydania
- 2014
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Advances in Natural Deduction
- Jazyk
- anglicky
- Autori
- neuvedený
- Vydavateľ
- Springer / Springer Netherlands
- Rok vydania
- 2014
- Väzba
- pevná
- ISBN13
- 9789400775473
- Kategórie
- O literatúre, Filozofia, Teória a história vedy
- Anotácia
- 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.