Varieties of constructive mathematics
Bridges, Douglas.
Varieties of constructive mathematics by Douglas Bridges, Fred Richman - Cambridge CUP 1987 - x, 149p. - London Mathematical Society Lecture Notes series 97 .
0521318025
511.3 / N875
Varieties of constructive mathematics by Douglas Bridges, Fred Richman - Cambridge CUP 1987 - x, 149p. - London Mathematical Society Lecture Notes series 97 .
0521318025
511.3 / N875