Knihu momentálně nemáme skladem
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 se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.