出版社:上海人民出版社出版日期:1989ISBN:9787208006256作者:冯棉页数:218页
作者简介
本书内容廉顾经典逻辑直觉主义逻辑两方面,并且在最后一节通过歌德尔变换揭示两者间的联系。
经典逻辑与直觉主义逻辑下载
外国儿童文学,篆刻,百科,生物科学,科普,初中通用,育儿亲子,美容护肤PDF图书下载,。 零度图书网
零度图书网 @ 2024
命题逻辑和谓词逻辑的自然推理系统，讲授清楚自然 命题逻辑和谓词逻辑的自然推理系统，讲授清楚自然