Tallenna
Advances in Natural Deduction
This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications.
- Alaotsikko
- A Celebration of Dag Prawitz's Work
- Toimittaja
- Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva
- Painos
- Softcover reprint of the original 1st ed. 2014
- ISBN
- 9789402406870
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 3.9.2016
- Kustantaja
- Springer
- Sivumäärä
- 279
