Lambek, J. (1994). Introduction to higher order categorical logic. Univ. Pr.
Cita Chicago Style (17a ed.)Lambek, J. Introduction to Higher Order Categorical Logic. Cambridge: Univ. Pr, 1994.
Cita MLA (9a ed.)Lambek, J. Introduction to Higher Order Categorical Logic. Univ. Pr, 1994.
Precaución: Estas citas no son 100% exactas.