D.: Constructivism in mathematics. An introduction., volume 1 (1988)

by A S Troelstra, Van Dalen