INTUITIONIST TYPE THEORY AND FOUNDATIONS

被引：0
|
作者：
LAMBEK, J
SCOTT, PJ
机构：
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1981年 / 10卷 / 01期
关键词：
D O I：
10.1007/BF00253914
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
引用
收藏
页码：101 / 115
页数：15
相关论文
共 50 条
12345