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
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS 135 COMBINATORICS
AUTOMATA AND NUMBER THEORY2010 年出版615 页ISBN:9780521515979