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.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.