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