B.H. Partee. Language and logic: Ideas and controversies in the history of formal semantics