Aspects of Constructibility - Devlin, Keith J. 1947- (Springer, 1973)
Keywords: Konstruktive Logik; Metamathematik; Konstruierbarkeit -- Mathematik