MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE THEORY

• 期刊名称The Review of Symbolic Logic
• 作者KIRCHNER, DANIEL; BENZMÜLLER, CHRISTOPH; ZALTA, EDWARD N.
• 印刷ISSN1755-0203
• 电子ISSN1755-0211
• 文件大小701.19KB
• 发表时间2019-7-12
• DOI10.1017/S1755020319000297
• 页码1-14