توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Boolos, G. (1993). The logic of provability. Cambridge University Press.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Boolos, George. The Logic of Provability. Cambridge, England: Cambridge University Press, 1993.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Boolos, George. The Logic of Provability. Cambridge University Press, 1993.