Das Buch ist derzeit nicht auf Lager
Parameter
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, unbekannt
- Sprache
- Erscheinungsdatum
- 2014
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Advances in Natural Deduction
- Sprache
- Englisch
- Autor*innen
- unbekannt
- Erscheinungsdatum
- 2014
- Einband
- Hardcover
- ISBN13
- 9789400775473
- Beschreibung
- 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.