The logic of provability - Boolos, George 1940-1996 (Cambridge Univ. Press, 1993)
Literaturverz. S. [261] - 269