Boolos, G. S. (1993). The logic of provability. Cambridge New York: Cambridge University Press.
Παραπομπή Chicago StyleBoolos, George S. The Logic of Provability. Cambridge New York: Cambridge University Press, 1993.
Παραπομπή MLABoolos, George S. The Logic of Provability. Cambridge New York: Cambridge University Press, 1993.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.