Douglas Bridges and Fred Richman. Varieties of constructive mathematics. London Mathematical Society lecture note series, no. 97. Cambridge University Press, Cambridge etc. 1987, x + 149 pp.

1991 ◽  
Vol 56 (2) ◽  
pp. 750-751
Author(s):  
D. van Dalen
Sign in / Sign up

Export Citation Format

Share Document