INTUITIONIST LOGIC - SUBSYSTEM OF, EXTENSION OF, OR RIVAL TO, CLASSICAL-LOGIC

被引:0
|
作者
SYLVAN, R
机构
关键词
D O I
10.1007/BF00355682
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
引用
收藏
页码:147 / 151
页数:5
相关论文
共 50 条