范畴类型逻辑：从语言到逻辑

出版社

北京：中国社会科学出版社

出版时间

2008

ISBN

9787500467113

标注页数

251 页

PDF页数

261 页