CARPENTER, B. Type-logical semantics.Cambridge, MIT, 1997.
(XI) 575 pp. Paperback. (Language, Speech, and Communication) *previous owner's name on endpaper and titlepage, some pencil stripes in the margins of the text, cover slightly damaged at the edges, otherwise in good condition*