Type-Logical Grammar: Categorial Logical of Signs (1994)

by Glyn V Morrill