Constructivism in Mathematics (two volumes), North-Holland (1988)

by A S Troelstra, D van Dalen
Venue:Department of Mathematics, University of Waikato, Hamilton, New Zealand (douglas@waikato.ac.nz) • Fred Richman: Department of Mathematics, Florida Atlantic University, Boca Raton