DISCRETE MATHEMATICS WITH ALGORITHMS
MICHAEL O.ALBERTSON2000 年出版546 页ISBN:9971513080
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN:0444702660
LEARNING THROUGH TEACHING MATHEMATICS
ROZA LEIKIN RINA ZAZKIS2010 年出版300 页ISBN:9048139899