Mathematical methods in linguistics - Partee Barbara H. (Kluwer Academic, 1990)