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