FINITE MATHEMATICS SECOND EDITION
STANLEY I.GROSSMAN1983 年出版612 页ISBN:0697113515
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