Title: The Logic of Categorial Grammars
Subjects: Mathematical Logic and Formal Languages, Symbolic and mathematical Logic, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Programming Languages, Compilers, Interpreters, Computer software, Mathematical Logic and Foundations, Artificial intelligence, Computer science, Computational linguistics, Grammar, comparative and general, Logic, symbolic and mathematical