Categorial grammar and the logical form of quantification - Levin, Harold D. (Bibliopolis, 1982)