Constructible Sets with applications. - Mostowski, Andrzej (Studies in logic and the foundations of mathematics., 1969)