TECHNICIAN MATHEMATICS LEVEL 2
J.O.BIRD AND A.J.C.MAY1978 年出版373 页ISBN:0582416167
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