Introduction to higher order categorical logic / - Lambek, Joachim. (Cambridge University Press,, 1986)