封面圖片

Introduction to higher order categorical logic /

Show other versions (1)

Saved in:

書目詳細資料
主要作者:	Lambek, J.
格式:	圖書
語言:	英语
出版:	Cambridge : Univ. Pr, 1994.
主題:	1.Categories (Mathematics)
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

成為第一個發表評論!