1. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
1991
2. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J. F. A. K. van
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
1991