送交者: zhangqq 于 2017-01-14, 11:06:59:

回答: 你能否开讲一下Category theory and catergorical logic开化一下大家？ 由 else 于 2017-01-14, 05:29:59:

• 谢谢推荐的好书 (无内容) - else (0 bytes) 2017-01-17, 08:43:39 (826322)

加跟贴