Constructible sets with applications - Mostowski, Andrzej 1913-1975 (North Holland Publ. Co. [u.a.], 1969)