Proof-theoretic harmony and the levels of rules: Generalised non-flattening results

dc.contributor.author	Schroeder-Heister, Peter
dc.date.accessioned	2017-07-13T13:25:34Z
dc.date.available	2017-07-13T13:25:34Z
dc.date.issued	2014-01-01
dc.identifier.isbn	978-8846740335
dc.identifier.uri	http://hdl.handle.net/10900/77033
dc.language.iso	en	de_DE
dc.publisher	ETS	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 harmony and the levels of rules: Generalised non-flattening results	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.publikation.seiten	245-287	de_DE
utue.personen.roh	Schroeder-Heister, Peter
utue.personen.roh	Olkhovikov, G.K.
dcterms.isPartOf.ZSTitelID	Second Pisa Colloquium in Logic, Language and Epistemology	de_DE