General Proof Theory: Introduction

dc.contributor.author	Schroeder-Heister, Peter
dc.contributor.author	Piecha, Thomas
dc.date.accessioned	2020-11-11T16:05:09Z
dc.date.available	2020-11-11T16:05:09Z
dc.date.issued	2019
dc.identifier.uri	http://hdl.handle.net/10900/109503
dc.language.iso	en	de_DE
dc.relation.uri	https://dx.doi.org/10.1007/s11225-018-9818-4	de_DE
dc.subject.ddc	004	de_DE
dc.subject.ddc	100	de_DE
dc.subject.ddc	510	de_DE
dc.title	General Proof Theory: Introduction	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	1-5	de_DE
utue.personen.roh	Schroeder-Heister, Peter
utue.personen.roh	Piecha, Thomas
dcterms.isPartOf.ZSTitelID	Studia Logica	de_DE
dcterms.isPartOf.ZS-Issue	1	de_DE
dcterms.isPartOf.ZS-Volume	107	de_DE