Proof-theoretic harmony: towards an intensional account

DSpace Repository

Proof-theoretic harmony: towards an intensional account

Author: Tranchini, Luca
Tübinger Autor(en):
Tranchini, Luca
Published in: Synthese (2021), Bd. 198, S. 1145-1176
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/s11229-016-1200-3
ISSN: 1573-0964
DDC Classifikation: 300 - Social sciences, sociology and anthropology
900 - History
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)