【文件属性】:
文件名称:A Modern Perspective on Type Theory
文件大小:32.18MB
文件格式:PDF
更新时间:2019-06-17 15:06:25
Type Theory
An Introduction to Mathematical Logic and Type Theory
-- To Truth Through Proof
©2005 Springer Science + Business Media, Inc.