Set theory : an introduction to large cardinals - Drake, F. R. (Frank Robert) (Studies in logic and the foundations of mathematics, 1974)
Provability, Computability and Reflection.