该窗口仅用于预约该书电子版,如后续有匹配资源将进行回复并报价。(扫描页面二维码添加微信好友代寻更高效)
陈晓平, 著
出版社:中山大学出版社
年代:2006
定价:28.0
本书在自然演绎系统的框架内阐述了演绎逻辑的基本内容:命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。
自然演绎逻辑导论是中山大学出版社于2006.03出版的中图分类号为 B812.23 的主题关于 演绎推理 的书籍。
(波) 塔尔斯基, 著
(波兰) 塔尔斯基 (Tarski,A.) , 著
(波) 塔尔斯基 (Tarski,A.) , 著
(波兰) 塔尔斯基, 著
刘洪波, 李媛媛, 刘潋, 著
(美) 约翰·埃切门迪 (John Etchemendy) , 著
张瑛, 著
吕进, 著