Lambek, J. (1994). Introduction to higher order categorical logic. Univ. Pr.
Citación estilo ChicagoLambek, J. Introduction to Higher Order Categorical Logic. Cambridge: Univ. Pr, 1994.
Cita MLALambek, J. Introduction to Higher Order Categorical Logic. Univ. Pr, 1994.
Warning: These citations may not always be 100% accurate.