Aspects of constructibility - Devlin, Keith J. (Springer-Verlag, 1973)