书籍自然演绎逻辑导论的封面

自然演绎逻辑导论

出版社

广州：中山大学出版社

出版时间

2006

ISBN

730602678X

标注页数

282 页

PDF页数

305 页

书籍介绍

本书在自然演绎系统的框架内阐述了演绎逻辑的基本内容：命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。

在线购买PDF电子书

此书压缩包下载地址1 （12 MB）

此书压缩包下载地址2 （12 MB）

此书BT种子下载地址（速度快）

在线购买PDF电子书