建设性逻辑。第一部分：证明系统和类型化教程PDF书籍下载

原名:Constructive Logics. Part I: A Tutorial on Proof Systems and Typed
作品简介:第二，它是一个新的信息学科，它是由 7 个一阶量词组成的学科。 25…….