Constructive Mathematics. An Introduction, volume I (1988)

by D van Dalen, A S Troelstra