Type-Logical Semantics - pocket, Engelska, 1998