Constructive mathematics - its set theory and practice (University of Oxford, 1974)

(untitled) - Sutherland Bridges, D; Sutherland Bridges, Douglas