Constructive mathematics without choice


pdf file, dvi file, postscript file.
Last modified September 21, 2000