1. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده: Benthem, J F A K van
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، 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
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
1991
