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...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | كتاب الكتروني |
| اللغة: | English |
| منشور في: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| سلاسل: | Outstanding Contributions to Logic,
7 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Click here to view the full text content |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
كن أول من يترك تعليقا!