IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN：0134518322
FINITE MATHEMATICS AND CALCULUS WITH APPLICATIONS THIRD EDITION
1989 年出版1098 页ISBN：0673382559
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
PSYCHOLOGY APPLIED TO MODERN LIFE ADJUSTMENT IN THE 90S THIRD EDITION
WAYNE WEITEN MARGARET A.LLOYD ROBIN L.LASHLEY1991 年出版542 页ISBN：0534097081
LECTURE NOTES IN MATHEMATICS 1298: ALGEBRAIC TOPOLOGY BARCELONA 1986
1987 年出版262 页ISBN：3540187294;0387187294
LECTURE NOTES IN MATHEMATICS 1438: LES ONDELETTES EN 1989
1990 年出版218 页ISBN：3540529322;0387529322
