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