[学位论文]
  • Brown, Chad E.
  • Carnegie Mellon University.
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