Varieties of constructive mathematics (1987)

by Douglas Bridges, Fred Richman
Venue:London Math. Soc. Lecture Note Ser