CONSTRUCTIVISM IN MATHEMATICS - Troelstra, A. S.; Dalen, D. Van (Amsterdam North-Holland, 1988)
Keywords: Constructive Mathematics