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

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

Intuitionist type theory and foundations

Intuitionist type theory and foundations

J. Lambek; P. J. Scott

作者J. Lambek; P. J. Scott
卷第10卷
期第1期
印刷ISSN0022-3611
电子ISSN1573-0433
文件大小715.99KB
发表时间1981-02
DOI10.1007/bf00253914
页码101-115

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