Logic: Techniques of Formal Reasoning
Donald Kalish is at UCLA. Richard Montague is at late of UCLA.