Logical Aspects of Computational Linguistics door