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...
Other Authors: | Wansing, H., SpringerLink (Online Service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham, Switzerland :
Springer,
[2015]
|
Physical Description: |
1 online resource. |
Series: |
Outstanding contributions to logic ;
v. 7. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |