Varieties of Constructive Mathematics - Bridges, D. S. (Douglas S.) 1945- (London Mathematical Society lecture note series, 1988)