Mathematical Methods in Linguistics by Barbara H. Partee, Robert E. Wall & Alice Ter Meulen