MATHEMATICS WITH APPLICATIONS FINITE VERSION SIXTH EDITION
MARGARET L.LIAL THOMAS W.HUNGERFORD CHARLES D.MILLER1996 年出版607 页ISBN：0673992748
DISCRETE MATHEMATICS AND LTS APPLICATIONS (FIFTH EDITION)
(美)Kenneth H.Rosen著2003 年出版912 页ISBN：7111115031
本书介绍了离散数学的理论、方法及其实际应用。
IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN：0134518322
IAS/PARK CITY MATHEMATICS SERIES Low Dimensional Topology
2009 年出版316 页ISBN：9780821847664
Mathematics Mechanization: Mechanical Geometry Theorem-Proving
Mechanical Geometry Problem-Solving and Polynomial Equations-Solving2000 年出版420 页ISBN：7030066863
FINITE MATHEMATICS FOR THE MANAGEMENT AND SOCIAL SCIENCES
1997 年出版535 页ISBN：0536013543
BASIC MATHEMATICS:WHAT ENERY COLLEGE STUDENT SHOULD KNOW
1977 年出版519 页ISBN：0130634468
ESSENTIAL MATHEMATICS AND STATISTICS FOR SCIENCE SECOND EDITION
2009 年出版387 页ISBN：9780470694497
