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