Lambek, J. (1994). Introduction to higher order categorical logic. Univ. Pr.
Cita Chicago (17th ed.)Lambek, J. Introduction to Higher Order Categorical Logic. Cambridge: Univ. Pr, 1994.
Cita MLA (9th ed.)Lambek, J. Introduction to Higher Order Categorical Logic. Univ. Pr, 1994.
Atenció: Aquestes cites poden no estar 100% correctes.