The Logic of Provability - Boolos (Cambridge University Press, 2010)
Keywords: Philosophy