（美）乔治·斯蒂纳（Geroge A.Steiner），（美）约翰·斯蒂纳（John F.Steiner）著；张志强，王春香译2002 年出版770 页ISBN：750802401X
斯蒂芬·罗宾斯（STEPHEN P.ROBBINS），蒂莫西·贾奇（TIMOTHY A.HUDGE）著；孙健敏，王震，李原译；孙健敏校2016 年出版598 页ISBN：7300231662
（英）A·G·哈密尔顿著；骆如枫等译1989 年出版294 页ISBN：7100001463
本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。
（罗）巴拉班（A.T.Balaban）编；金晓龙，陈志鹤译1983 年出版400 页ISBN：13031·2154
书名原文:Chlmicalapplicationsofgraphtheory.
