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

Queiroz, R. J. G. B. d., Oliveira, A. G. d., & Gabbay, D. M. (2012). The functional interpretation of logical deduction. World Scientific.

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

Queiroz, Ruy J. G. B. de, Anjolina G. de Oliveira, و Dov M. Gabbay. The Functional Interpretation of Logical Deduction. Singapore: World Scientific, 2012.

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

Queiroz, Ruy J. G. B. de, et al. The Functional Interpretation of Logical Deduction. World Scientific, 2012.