Varieties of Constructive (1987)

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