In the light of logic - Feferman, Solomon. (Oxford University Press, 1998)