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 |