Varieties of constructive mathematics
Bridges, Douglas
Varieties of constructive mathematics / Douglas Bridges - Cambridge Univ. Pr. 1987 - x, 149p. 22cm.
Logic, Symbolic and mathematical
511.3
Varieties of constructive mathematics / Douglas Bridges - Cambridge Univ. Pr. 1987 - x, 149p. 22cm.
Logic, Symbolic and mathematical
511.3