Varieties of constructive mathematics (1987)

by D Bridges, F Richman
Venue:London Math. Soc, Lecture Notes