Proof-theoretic validity based on elimination rules

dc.contributor.author	Schroeder-Heister, Peter
dc.date.accessioned	2017-07-12T15:14:06Z
dc.date.available	2017-07-12T15:14:06Z
dc.date.issued	2015
dc.identifier.isbn	978-1-84890-172-8
dc.identifier.uri	http://hdl.handle.net/10900/76940
dc.language.iso	en	de_DE
dc.publisher	London: College Publications	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.subject.ddc	100	de_DE
dc.title	Proof-theoretic validity based on elimination rules	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	159-176	de_DE
utue.personen.roh	Schroeder-Heister, Peter
dcterms.isPartOf.ZSTitelID	Why is this a Proof? Festschrift for Luiz Carlos Pereira	de_DE