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