Varieties of constructive mathematics - Bridges, D. S., (Douglas S.) (Cambridge University Press, 1987)
Includes bibliographical references and index