Everything that linguists have always wanted to know about logic, but were ashamed to ask - McCawley, James D. 1938-1999 (Blackwell, 1981)