Bridges, Douglas Richman, Fred.
Varieties of constructive mathematics - Cambridge Cambridge university Press 1988 - x, 149 pages - London Mathematical Society;97 .
Include index.
0521318025
Logic
Constructive mathematics
511.3 / BRI
Varieties of constructive mathematics - Cambridge Cambridge university Press 1988 - x, 149 pages - London Mathematical Society;97 .
Include index.
0521318025
Logic
Constructive mathematics
511.3 / BRI