General Proof Theory: celebrating 50 Years of Dag Prawitz's "Natural Deduction" : proceedings of the Conference held in Tübingen, 27-29 November 2015
| Corporate Authors: | ; |
|---|---|
| Contributors: | ; |
| Format: | Electronic Book |
| Language: | English |
| Check availability: | HBZ Gateway |
| WorldCat: | WorldCat |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Tübingen
Universitätsbibliothek Tübingen
2016
|
| In: | Year: 2016 |
| Further subjects: | B
Deduction
B Proof B Theory of categories B Proof theory B Logic B Conference program |
| Online Access: |
Volltext (Resolving-System) Volltext (Resolving-System) Volltext (kostenfrei) |
| Physical Description: | 1 Online-Ressource (290 Seiten) |
|---|---|
| Persistent identifiers: | DOI: 10.15496/publikation-10394 HDL: 10900/68977 URN: urn:nbn:de:bsz:21-dspace-689776 |