Constructivism in mathematics an introduction - Troelstra, Anne S. 1939-2019; Dalen, Dirk van 1932- (Studies in logic and the foundations of mathematics, 1988)