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
MATHEMATICAL TECHNIQUES IN CHEMISTRY
JOSEPH B.DENCE2222 年出版442 页ISBN:047120319X