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