Fundamentals of mathematics for linguistics - Partee Barbara Hall (London D Reidel Publishing, 2003)