General Proof Theory: celebrating 50 Years of Dag Prawitz's "Natural Deduction" : proceedings of the Conference held in Tübingen, 27-29 November 2015

Saved in:  
Bibliographic Details
Corporate Authors: General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction" (Author) ; Eberhard Karls Universität Tübingen Philosophische Fakultät
Contributors: Piecha, Thomas (Editor) ; Schroeder-Heister, Peter 1953- (Editor)
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)
Description
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