Proof-theoretic harmony: towards an intensional account

DSpace Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record