عنوان
پدید آورنده
موضوع
رده
P 39 .B46
P
39
.
B46
کتابخانه
محل استقرار
Language in action : categories, lambdas, and dynamic logic
Amsterdam
North-Holland
c1991
x, 349p.: ill
Studies in logic and the foundations of mathematics; Vol.031
Bibliography: p. 327-344
ISBN: 0444890009
Johan van Benthem
1
، Language and logic
، Categorial grammar
، Lambda calculus
، Logic, Symbolic and mathematical
، Mathematical linguistics
P
39
.
B46
Benthem, Johan F. A. K. van, 9491-
AU
TI
SE
