APA-ийн эшлэл(7 дахь хэвлэлт)

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

Чикаго-гийн эшлэл (17 дахь хэвлэлт)

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

MLA -ийн эшлэл (9 дэх хэвлэлт)

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