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

Author:

Piecha, Thomas [HerausgeberIn]; Schroeder-Heister, Peter [HerausgeberIn]

Tübinger Autor(en):

Other Contributors:

Eberhard Karls Universität Tübingen

Issue year:

2016

Verlagsangabe:

Tübingen : Universitätsbibliothek Tübingen

Language:

English

Full text:

DDC Classifikation:

004 - Data processing and computer science
100 - Philosophy
510 - Mathematics

Dokumentart:

ConferenceObject

Pages:

1 Online-Ressource (290 Seiten)

Reference:

This item appears in the following Collection(s)