Lambek, J. (1994). Introduction to higher order categorical logic. Univ. Pr.
Citação norma ChicagoLambek, J. Introduction to Higher Order Categorical Logic. Cambridge: Univ. Pr, 1994.
Citação norma MLALambek, J. Introduction to Higher Order Categorical Logic. Univ. Pr, 1994.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.