Notes on Constructive Set Theory, Draft available at the address: http : //www.mittag − leffler.se/preprints/meta/AczelMon Sep 24 (0)

by P Aczel, M Rathjen