Constructivism in mathematics an introduction - Troelstra, Anne S. 1939-2019; Dalen, Dirk van 1932- (North-Holland, 1988)