Vol. 617. Devlin, Keith J. 
The axiom of constructibility : a guide for the mathematician 
QA248 D4744