Dag Prawitz on Proofs and Meaning /
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. 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 t...
Sparad:
| Institutionell upphovsman: | |
|---|---|
| Övriga upphovsmän: | |
| Materialtyp: | E-bok |
| Språk: | English |
| Publicerad: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Serie: | Outstanding Contributions to Logic,
7 |
| Ämnen: | |
| Länkar: | Click here to view the full text content |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|