An introduction to Christian theology - Plantinga, Richard J. (Cambridge University Press, 2010)