书名：第一推动丛书·综合系列:逻辑的引擎（新版）（一本适合数学系或计算机系读者的书，让你在乏味的学习之余体会到思想乐趣）
出版社：
作者：马丁·戴维斯
出版年份：2018
电子书格式： epub
简介：《逻辑的引擎》是第一推动丛书·综合系列中的一本，作者马丁·戴维斯（Martin Davis）。此书为新版，专门为数学系或计算机系的读者设计，让你在繁重的学习中感受到思想的乐趣。书中深入浅出地介绍了逻辑学、计算机科学、数学逻辑等内容，是一本既有趣又实用的读物。适合对逻辑学有兴趣的学生和专业人士阅读。
ISBN：B07CWRRSP9