Varieties of constructive mathematics. - Bridges, Douglas S. (London mathematical society lecture note series ;, 1988)