In this book we hope to acquaint the reader with the fundamentals of truth- conditional model-theoretic semantics, and in particular with a version of this developed by Richard Montague in a series of papers published during the 1960's and early 1970's. In many ways the paper 'The Proper Treatment of Quantification in Ordinary English' (commonly abbreviated PTQ) represents the culmination of Montague's efforts to apply the techniques developed within mathematical logic to the semantics of natural languages, and indeed it is the system outlined there that people generally have in mind when...