Boolos, G. (1993). The Logic of Provability. Univ. Pr..
Chicago Style (17. basım) AtıfBoolos, George. The Logic of Provability. Cambridge: Univ. Pr., 1993.
MLA (9th ed.) AtıfBoolos, George. The Logic of Provability. Univ. Pr., 1993.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..