Lambek, J., & Scott, P. J. (1986). Introduction to higher order categorical logic.
Chicago Style aipamenaLambek, J., and P J. Scott. Introduction to Higher Order Categorical Logic. Cambridge University Press, Cambridge, 1986.
MLA aipamenaLambek, J., and P J. Scott. Introduction to Higher Order Categorical Logic. 1986.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.