El libro está agotado actualmente
Más información sobre el libro
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.
Compra de libros
Advances in Natural Deduction, neuveden
- Idioma
- Publicado en
- 2014
- product-detail.submit-box.info.binding
- (Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.