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

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

Types in Logic, Mathematics and Programmingby Robert L. Constable

Types in Logic, Mathematics and Programmingby Robert L. Constable

Review by: Toshiyasu Arai

期刊名称The Bulletin of Symbolic Logic
作者Review by: Toshiyasu Arai
卷第6卷
期第4期
印刷ISSN1079-8986
文件大小104.78KB
发表时间2000-12
DOI10.2307/420977
页码476-477

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