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 | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |