Categorical proof theory of classical propositional calculus
Categorical proof theory of classical propositional calculus
复制标题
经典命题微积分的范畴证明论
DOI：
--
复制
发表时间：
2006
影响因子：
1.1
通讯作者：
Christian Urban
中科院分区：
文献类型：
--
作者：
G. Bellin;M. Hyland;E. Robinson;Christian Urban
