GIn a series of papers written during the period 1967-1971, Richard
Montague outlined a highly original approach to the problem of providing
a precise account of natural language syntax and semantics. In a sharp
departure from the linguistic methods of the Chomsky school, Montague
introduced a powerful body of techniques from the field of mathematical
logic, principally the set-theoretic semantical methods pioneered by his
teacher Tarski.