Fundamental of mathematics for linguistics - Partee, Barbara Hall (Dordrecht Holland D. Reidel, 1978)