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

Lambek, J. (1994). Introduction to higher order categorical logic. Univ. Pr.

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

Lambek, J. Introduction to Higher Order Categorical Logic. Cambridge: Univ. Pr, 1994.

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

Lambek, J. Introduction to Higher Order Categorical Logic. Univ. Pr, 1994.