Bridges, Dauglas; Richman, Fred Varieties of constructive mathematics / Bridges, Dauglas; Richman, Fred - Cambridge University Press, Cambridge, 1987 - p. ; 22 cm. ISBN: 0521318025 Subjects--Topical Terms: Mathematical logic; Mathematics Dewey Class. No.: 511.3 BRI-V