出版社:上海人民出版社出版日期:1989ISBN:9787208006256作者:冯棉页数:218页
作者简介
本书内容廉顾经典逻辑直觉主义逻辑两方面,并且在最后一节通过歌德尔变换揭示两者间的联系。
经典逻辑与直觉主义逻辑下载
农业基础科学,时尚,美术/书法,绘画,软件工程/开发项目管理,研究生/本专科,爱情/情感,动漫学堂PDF下载,。 PDF下载网
PDF下载网 @ 2024
命题逻辑和谓词逻辑的自然推理系统，讲授清楚自然 命题逻辑和谓词逻辑的自然推理系统，讲授清楚自然