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