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...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Ekitap |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Seri Bilgileri: | Outstanding Contributions to Logic,
7 |
| Konular: | |
| Online Erişim: | Click here to view the full text content |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Sistem Bakımda
Kütüphane sistemimiz bakımda.
Kopya kayıtları ve kayıların durum bilgileri şu anda erişilebilir değil. Bunun için özür dileriz, daha fazla yardım için bizimle irtibata geçebilirsiniz: