Varieties of constructive mathematics - Bridges, Douglas S. 1945-; Richman, Fred 1938- (London Mathematical Society: London Mathematical Society lecture note series, 1987)