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