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