MICHAEL LANCASTER SMITH1982 年出版218 页ISBN:0852002610
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
CONTEMPORARY MATHEMATICS 490 Symmetry in Mathematics and Physics
2009 年出版252 页ISBN:9780821847312