Introduction to higher order categorical logic. - Lambek J Ed.; Scott P J Ed. (Cambridge Cambridge University Press, 1986)