Mathematical methods in linguistics - Partee, Barbara Hall (Studies in linguistics and philosophy ;, 1993)