CATEGORIAL GRAMMAR AND TYPE THEORY

被引：4
|
作者：
VANBENTHEM, J
机构：
[1] Faculty of Mathematics and Computer Science, University of Amsterdam, Amsterdam, 1018 TV
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1990年 / 19卷 / 02期
关键词：
D O I：
10.1007/BF00263539
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
[No abstract available]
引用
收藏
页码：115 / 168
页数：54
相关论文
共 50 条
12345