ELEMENTS OF MATHEMATICS FROM EUCLID TO GODEL
JOHN STILLWELL2016 年出版422 页ISBN：0691171685
SOCIAL CONSTRUCTIVISM AS A PHILOSOPHY OF MATHEMATICS
PAUL ERNEST1998 年出版165 页ISBN：0791435873
CHAPTER ZERO FUNDAMENTAL NOTIONS OF ABSTRACT MATHEMATICS
CAROL SCHUMACHER1977 年出版162 页ISBN：0201826534
BASIC CONCEPTS OF ELEMENTARY MATHEMATICS SECOND EDITION
WILLIAM L.SCHAAF2222 年出版384 页ISBN：
CHOICE SEQUENCES A CHAPTER OF INTUITIONISTIC MATHEMATICS
A.S.TROELSTRA1977 年出版170 页ISBN：
LECTURE NOTES IN MATHEMATICS 1337: THEORY OF MODULI
1988 年出版237 页ISBN：3540500804;0387500804
LECTURE NOTES IN MATHEMATICS 944: REPRESENTATIONS OF ALGEBRAS
1982 年出版258 页ISBN：3540115773;0387115773
A SURVEY OF BASIC MATHEMATICS FOURTH EDITION
FRED W.SPARKS，CHARLES SPARKS REES2222 年出版543 页ISBN：0070599025
IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN：0134518322
