发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Intuitionist Type Theory and Foundations

Intuitionist Type Theory and Foundations

J. Lambek and P. J. Scott

期刊名称Journal of Philosophical Logic
作者J. Lambek and P. J. Scott
卷第10卷
期第1期
印刷ISSN0022-3611
电子ISSN1573-0433
文件大小1221.70KB
发表时间1981-02
DOI10.2307/30226220
页码101-115

← 返回【学霸图书馆】主页