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

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

dc.contributor Eberhard Karls Universität Tübingen de_DE
dc.contributor.author Piecha, Thomas de_DE
dc.contributor.author Schroeder-Heister, Peter de_DE
dc.date.accessioned 2016-07-21T08:14:38Z
dc.date.available 2016-07-21T08:14:38Z
dc.date.issued 2016 de_DE
dc.identifier.uri http://hdl.handle.net/10900/71732
dc.language.iso en
dc.publisher Tübingen : Universitätsbibliothek Tübingen de_DE
dc.relation.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-689776 de_DE
dc.relation.uri http://dx.doi.org/10.15496/publikation-10394 de_DE
dc.relation.uri http://hdl.handle.net/10900/68977 de_DE
dc.rights info:eu-repo/semantics/closedAccess
dc.subject.ddc 004 de_DE
dc.subject.ddc 100 de_DE
dc.subject.ddc 510 de_DE
dc.title General Proof Theory : celebrating 50 Years of Dag Prawitz's "Natural Deduction" : proceedings of the Conference held in Tübingen, 27-29 November 2015 de_DE
dc.type ConferenceObject de_DE
utue.artikel.swb 46278231X de_DE
utue.personen.pnd Piecha, Thomas [HerausgeberIn]/454839138 de_DE
utue.personen.pnd Schroeder-Heister, Peter [HerausgeberIn]/349874662 de_DE
utue.personen.roh Piecha, Thomas [HerausgeberIn] de_DE
utue.personen.roh Schroeder-Heister, Peter [HerausgeberIn] de_DE
utue.publikation.seitengesamt 1 Online-Ressource (290 Seiten) de_DE
utue.titel.verfasserangabe edited by Thomas Piecha, Peter Schroeder-Heister de_DE
utue.publikation.abrufzeichen opus de_DE
utue.publikation.swbdatum 1603 de_DE
utue.publikation.ddcroh 004 de_DE
utue.publikation.ddcroh 100 de_DE
utue.publikation.ddcroh 510 de_DE
utue.publikation.fachbereich 57 de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige