Lambek, J. (1994). Introduction to higher order categorical logic. Univ. Pr.
Chicago-Zitierstil (17. Ausg.)Lambek, J. Introduction to Higher Order Categorical Logic. Cambridge: Univ. Pr, 1994.
MLA-Zitierstil (9. Ausg.)Lambek, J. Introduction to Higher Order Categorical Logic. Univ. Pr, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.