Title: Logic for grammar
First published: 2002
Subjects: Categorial grammar, Formalization (Linguistics), Lambda calculus, Language and logic, Logic, Symbolic and mathematical, Mathematical linguistics, Semantics (Philosophy), Symbolic and mathematical Logic
LC classification: P39 .C33 2002