Language in action
by J. F. A. K. van Benthem · 1991
No description available.
Categorial grammarLambda calculusLanguage and logicLogic, Symbolic and mathematicalMathematical linguisticsSymbolic and mathematical LogicGrammar, comparative and generalLanguage and languages