Varieties Of Constructive Mathematics door Fred Richman, Douglas S. Bridges & Douglas Bridges