1J.van Benthem.Language in Action:Categories,Lambdas and Dynamic Logic[].Studies in Logic.1991
2J.van Benthem.The Lambek Calculus[].Report -Mathematical InstituteUniversity of Amsterdam.1986
3.
4L.T.F.Gamut.Logic,Langauge,and Meaning[]..1991
5.Proceedings of the Sixth Amsterdam Colloquium[]..1987
6E.Keenan."Semantic case theory,"[]..1987
7V.S(?)nchez Valencia.Studies on Categorial Grammar and Natural Logic[]..1990
8H.J.Tiede."Counting the number of proofs in the commutative Lambek Calculus,"[].JFAK Essays Dedicated to Johan van Benthem on the Occasion of his th Birthday.1999
9van,Benthem,Johan.Questions about Quantifiers[].Journal of Symbolic Logic.1984
