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
