ISBN | 0496817418 | ||
---|---|---|---|
作者 | Brown, Chad E. | 授予学位单位 | Carnegie Mellon University. |
导师 | Andrews, Peter B., | 学位 | Ph.D. |
学科 | Mathematics. Computer Science. | 国籍 | US |
页码/总页数 | 499 p. / 499 | 出版年 | 2004 |
中图分类号 | O1, TP | ||
关键词 | Church's type theory Higher-order logic Set comprehension Type theory |