Knihu momentálně nemáme skladem
Parametry
Více o knize
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 vydání
- 2014
- product-detail.submit-box.info.binding
- (pevná)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Advances in Natural Deduction
- Jazyk
- anglicky
- Autoři
- neuveden
- Vydavatel
- Springer / Springer Netherlands
- Rok vydání
- 2014
- Vazba
- pevná
- ISBN13
- 9789400775473
- Kategorie
- O literatuře, Filosofie, Teorie a historie vědy
- Anotace
- 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.