作者：何中胜主编
出版社： 大连理工大学出版社
CIP号：2017150134
书号：978-7-5685-0919-0
出版地：大连
出版时间：2017.6
定价：￥39.8
本教材包括命题逻辑、谓词逻辑、集合与关系、函数、代数系统、格与布尔代数、图等7章。将数理逻辑、集会与关系、代数结构及图论这4大体系中最基本、最重要的内容选入，并努力做到简明扼要、深入浅出，既保持各体系的独立性，又展现出它们的密切联系。