Boolos, G. (1993). The logic of provability. Cambridge University Press.
Chicago-referens (17:e uppl.)Boolos, George. The Logic of Provability. Cambridge, England: Cambridge University Press, 1993.
MLA-referens (9:e uppl.)Boolos, George. The Logic of Provability. Cambridge University Press, 1993.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.