Notes on constructive set theory. Institut Mittag-Leffler (Royal Swedish Academy of Sciences) technical report number 40 (2001)

by P Aczel, M Rathjen