PROOF ANALYSIS OF GLOBAL CONSEQUENCE

dc.contributor.author	Tranchini, Luca
dc.date.accessioned	2019-04-24T14:41:13Z
dc.date.available	2019-04-24T14:41:13Z
dc.date.issued	2017
dc.identifier.issn	0024-5836
dc.identifier.uri	http://hdl.handle.net/10900/88048
dc.language.iso	en	en
dc.publisher	Centre National Belge Recherches Logique	de_DE
dc.relation.uri	http://dx.doi.org/10.2143/LEA.239.0.3237159
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	610	de_DE
dc.subject.ddc	004	de_DE
dc.subject.ddc	300	de_DE
dc.title	PROOF ANALYSIS OF GLOBAL CONSEQUENCE	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.quellen.id	20190131163842_01398
utue.publikation.seiten	355-373	de_DE
utue.personen.roh	Tranchini, Luca
utue.personen.roh	Cobreros, Pablo
dcterms.isPartOf.ZSTitelID	Logique et Analyse	de_DE
dcterms.isPartOf.ZS-Issue	239	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät