Proof-theoretic harmony: towards an intensional account

dc.contributor.author	Tranchini, Luca
dc.date.accessioned	2022-07-26T10:43:27Z
dc.date.available	2022-07-26T10:43:27Z
dc.date.issued	2021
dc.identifier.issn	1573-0964
dc.identifier.uri	http://hdl.handle.net/10900/129748
dc.language.iso	en	de_DE
dc.publisher	Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s11229-016-1200-3	de_DE
dc.subject.ddc	300	de_DE
dc.subject.ddc	900	de_DE
dc.title	Proof-theoretic harmony: towards an intensional account	de_DE
dc.type	Article	de_DE
utue.quellen.id	20210512015105_00543
utue.publikation.seiten	1145-1176	de_DE
utue.personen.roh	Tranchini, Luca
dcterms.isPartOf.ZSTitelID	Synthese	de_DE
dcterms.isPartOf.ZS-Volume	198	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE