Categorial Investigations: Logical and linguistic aspects of the lambek calculus.(Groningen-Amsterdam Studies in Semantics 9) pa