Constructivism in mathematics : an introduction - Troelstra, A. S. (Anne Sjerp); Dalen, D. van (Dirk van), 1932- (Amsterdam : North-Holland, 1988)
Bibliography : p. 327-342
Keywords: Construction mathematics