Constructive mathematics without choice

pdf file, dvi file, postscript file.

Last modified September 21, 2000