Logical Aspects of Computational Linguistics by Alain Lecomte, G. Perrier & F. Lamarche