CSAM 007-Introduction to Higher-Order Categorical Logic (Cambridge Studies in Ad.zip

大小:2.71 MB

只需: 10 个论坛币  马上下载

Introduction to Higher-Order Categorical Logic

本附件包括：

• CSAM 007-Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) (J. Lambek, P. J. Scott) 0521356539.djvu