Constructivism in Mathematics: An Introduction (two volumes (1988)

by A S Troelstra, D van Dalen