Varieties of constructive mathematics / - Bridges, D. S. (Cambridge University Press,, 1987)