Fundamentals of mathematics for linguistics - Partee, Barbara Hall (D. Reidel, 1978)