van Benthem, Johan.
Language in Action : Categories, Lambdas and Dynamic Logic - USA MIT Press 1999 - 365
0 262 72024 8
Language and Logic
Categorical Grammar
Lambda Calculus
Logic, Symbolic and Mathematical
Mathematical Linguistics
510.6 BEN
Language in Action : Categories, Lambdas and Dynamic Logic - USA MIT Press 1999 - 365
0 262 72024 8
Language and Logic
Categorical Grammar
Lambda Calculus
Logic, Symbolic and Mathematical
Mathematical Linguistics
510.6 BEN