Tallenna
Dag Prawitz on Proofs and Meaning
Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics.
- Toimittaja
- Heinrich Wansing
- Painos
- Softcover reprint of the original 1st ed. 2015
- ISBN
- 9783319360317
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.9.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 458
