A Modern Perspective on Type Theory

【文件属性】：

文件名称：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.