The axiom of constructibility a guide for the mathematician - Devlin, Keith J. 1947- (Lecture notes in mathematics, 1977)