作者	俞正光
出版社
出版时间	2005-07-01

特色：

本书包括真值表、逻辑和证明，集合论，逻辑、整数集和证明，函数，算法，图、有向图和树，计数，代数结构，递归的进一步讨论等内容。