数学大师 从芝诺到庞加莱 the lives and achievements of the great mathematicians from Zeno to Poincare
（美）埃里克·坦普尔·贝尔（EricTempleBell）著；徐源译；宋蜀碧校2012 年出版651 页ISBN：9787542854568
本书深入浅出地介绍了数学发展的历程，从古希腊的几何学，历经牛顿的微积分学，再到概率论、符号逻辑等等，都有详略合宜的叙述。全书以历史上30多位数学大师的生平为主线，分章讲述了他们的杰出贡献、性情喜好和生活...
temporal logic and temporal logic progamming
duan zhenhua2222 年出版196 页ISBN：7030166515
本书主要介绍有关计算机科学与技术方面的基本知识和应用等。
COMPUTING WITH LOGIC LOGIC PROGRAMMING WITH PROLOG
DAVID MAIER1987 年出版535 页ISBN：0805366814
EPISTEMIC LOGIC A SURVEY OF THE LOGIC OF KNOWLEDGE
NICHOLAS RESCHER2222 年出版140 页ISBN：
Dependence Logic A New Approach to Independence Friendly Logic
Jouko Vaananen2007 年出版225 页ISBN：0521876591
Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN：0792393710
SRINIVAS DEVADAS ABHIJIT GHOSH KURT KEUTZER1994 年出版405 页ISBN：0070165009
