Fundamentals of Mathematics for Linguistics by Partee, Barbara H.