Notes on Constructive Set Theory, Draft available from the Internet at the address: http://www.cs.man.ac.uk/∼petera (0)

by P Aczel, M Rathjen