Proof Theory

dc.contributor.author	Piecha, Thomas
dc.contributor.author	Schroeder-Heister, Peter
dc.date.accessioned	2019-06-07T14:36:28Z
dc.date.available	2019-06-07T14:36:28Z
dc.date.issued	2018-08-28
dc.identifier.uri	http://hdl.handle.net/10900/89438
dc.language.iso	en	de_DE
dc.relation.uri	http://dx.doi.org/10.15496/publikation-25225	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	Proof Theory	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.personen.roh	Piecha, Thomas
utue.personen.roh	Schroeder-Heister, Peter
dcterms.isPartOf.ZSTitelID	Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018	de_DE