Lambek, J., & Scott, P. J. (1988). Introduction to higher order categorical logic. Cambridge: Cambridge University Press.
Παραπομπή Chicago StyleLambek, J., and P. J. Scott. Introduction to Higher Order Categorical Logic. Cambridge: Cambridge University Press, 1988.
Παραπομπή MLALambek, J., and P. J. Scott. Introduction to Higher Order Categorical Logic. Cambridge: Cambridge University Press, 1988.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.