数理逻辑基础与粒计算相关电子书下载

（英）科瓦尔斯基（Kowalski，R.）著；郑守淇译1986 年出版198 页ISBN：15340·103

书名原文:Logicforproblemsolving:著者原题:R.科瓦尔斯基:本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用

2222 年出版224 页ISBN：

（苏）雅诺夫斯卡娅著；缪朗山译1953 年出版74 页ISBN：

王元元1989 年出版441 页ISBN：

吴建平译1970 年出版211 页ISBN：

（美）George S.Boolos，（美）John P.Burgess，（美）Richard C.Jeffrey著；何自强等译2005 年出版289 页ISBN：7121007797

本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本...

陈慕泽2003 年出版0 页ISBN：

（美）玛考威茨（Marcovitz，A.B.）著2008 年出版589 页ISBN：9787302189251

本书作为计算机科学、计算机工程及电子工程专业学生的入门书籍，针对初学者的特点，精选策划，准确定位，概念清晰、例题丰富。

王元元编著1989 年出版266 页ISBN：7030010671

陈慕泽，余俊伟著2003 年出版244 页ISBN：7300049427

本书介绍数理逻辑的基础部分。