This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars …