IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN：0134518322
DISCRETE MATHEMATICS WITH ALGORITHMS
MICHAEL O.ALBERTSON2000 年出版546 页ISBN：9971513080
EXPLORING DISCRETE MATHEMATICS WITH MAPLE
KENNETH H.ROSEN JOHN S.DEVITT TROY VASIGA1997 年出版387 页ISBN：0070541280
Discrete Mathematics with Combinatorics SECOND EDITION
2004 年出版910 页ISBN：0130457914
COMPUTATIONAL DISCRETE MATHEMATICS COMBINATORICS AND GRAPH THEORY WITH MATHEMATICA
2222 年出版480 页ISBN：0521806860
Computational Discrete Mathematics Combinatorics and Graph Theory with Mathematica
Sriram Pemmaraju ; Steven Skiena2003 年出版482 页ISBN：0521121460
DISCRETE MATHEMATICS WITH APPLICATIONS THIRD EDITIONS （THIRD EDITION）
SUSANNA S.EPP2005 年出版905 页ISBN：704016230X
本书从Thomson Learning出版公司引进。本书内容包括：复合陈述中的逻辑，定量陈述中的逻辑，基础数论及证明方法，数理推断及序列，集合论，计算和概率，函数，递归，运算法则及效率，关系，图和树，常规表达式和自动控制......
LECTURE NOTES IN MATHEMATICS 1407: PROOF THEORY
1989 年出版216 页ISBN：3540518428;0387518428
Exploring Mathematics: An Engaging Introduction to Proof
John Meier2017 年出版324 页ISBN：1107128989
