Varieties of constructive mathematics /
Bridges, Dauglas; Richman, Fred
Varieties of constructive mathematics / Bridges, Dauglas; Richman, Fred - Cambridge University Press, Cambridge, 1987 - p. ; 22 cm.
0521318025
Mathematical logic; Mathematics
511.3 BRI-V
Varieties of constructive mathematics / Bridges, Dauglas; Richman, Fred - Cambridge University Press, Cambridge, 1987 - p. ; 22 cm.
0521318025
Mathematical logic; Mathematics
511.3 BRI-V
