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

Autor(en):

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

Tübinger Autor(en):

Sonstige Beteiligte:

Eberhard Karls Universität Tübingen

Erscheinungsjahr:

2016

Verlagsangabe:

Tübingen : Universitätsbibliothek Tübingen

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik
100 - Philosophie
510 - Mathematik

Dokumentart:

Konferenzveröffentlichung

Seitenzahl:

1 Online-Ressource (290 Seiten)

Verbund-Nachweis:

Das Dokument erscheint in: