Notes on constructive set theory (2001)

by P Aczel, M Rathjen
Venue:MittagLeffler Institut, The Swedish Royal Academy of Sciences