Das Buch ist derzeit nicht auf Lager
Parameter
- 279 Seiten
- 10 Lesestunden
Mehr zum Buch
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.
Buchkauf
Advances in Natural Deduction, neuveden
- Sprache
- Erscheinungsdatum
- 2014
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Österreich
Zahlungsmethoden
Keiner hat bisher bewertet.