赵一鸣阚海斌 吴永辉, 《离散数学》,人民邮电出版社, 2011年
Bernard Kolman, Robert C.Busby ,Sharon Cutler Ross. Discrete Mathematical Structure
Anil Nerode and Richard A. Shore. Logic for Applications