I came across a 52-page review of the development of formal semantics, which Barbara Partee published in 2011. See below for the URL and a copy of the concluding paragraph. Barbara earned a PhD at MIT (Chomsky as thesis adviser) and began teaching linguistics at UCLA, where she joined Richard Montague and Hans Kamp in pioneering work in combining formal semantics with the complexity of NLs. This review is a history of the field by one of the leading developers and promoters. My major criticism is about the size of the "grain of truth" by which she minimizes George Lakoff's criticisms. I have a high regard for both Barbara and George. Both of them were graduate students of Chomsky's around the same time, and they both have important points to make (although I prefer Barbara's style to George's sometimes excessive hyperbole). My very short critique is that Barbara and George are equally correct about the aspects of language they emphasize, and equally wrong about the aspects of the other that they dismiss or minimize. There is, of course, much more that could be said.