Varieties of constructive mathematics
Bridges, Douglas,1945-
Richman, Fred.
Cambridge Cambridge University Press
1987
Logic, Symbolic and mathematical.