Title: Sets and integration An outline of the development, Author: D. van Dalen
Title: Constructivism in Mathematics: An Introduction, Author: A.S. Troelstra