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