Introduction to higher order categorical logic - Lambek, Joachim, 1922-2014 (Cambridge studies in advanced mathematics ;, 1989)