The logic of provability - Boolos, George S. (Cambridge University Press, 1993)