1 Advances in Proof-Theoretic Semantics [开放图书]
作者:Thomas Piecha, Peter Schroeder-Heister
丛书:Trends in Logic
关键词:logic;mathematics
使用许可:CC BY-NC
预览 | 原文链接 | 全文 [ 浏览:144 下载:85 ]