History and Philosophy of Logic. 2018;():1-19. doi: 10.1080/01445340.2017.1422092 N/A0.52025

Decoding Gentzen's Notation

Bellotti, Luca

DOI: 10.1080/01445340.2017.1422092

摘要

Copyright © History and Philosophy of Logic. 中文内容为AI机器翻译，仅供参考！

期刊名：History and philosophy of logic

缩写：HIST PHILOS LOGIC

ISSN：0144-5340

e-ISSN：1464-5149

IF/分区：0.5/N/A

文章目录更多期刊信息

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：

推荐内容

Decoding Gentzen's Notation