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

Schwartz, J. T., Caantone, D., & Omodeo, E. G. (2011). Computational logic and set theory: Applying formalized logic to analysis. Springer London.

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

Schwartz, Jacob T., Domenico Caantone, و Eugenio G. Omodeo. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. London: Springer London, 2011.

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

Schwartz, Jacob T., et al. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Springer London, 2011.