Constructible sets with applications - Mostowski, Andrzej 1913-1975 (North-Holland ; PWN–Polish Scientific Publishers, 1969)