Constructible sets with applications - Mostowski, Andrzej (North Holland, 1969)