Constructivism in mathematics an introduction - Troelstra, Anne S. 1939-2019 (North-Holland, 1988)
Includes bibliographical references and indexes