La grammaire de Richard Montague, aujourd'hui l'un des courants dominants de la recherche sur les langues naturelles, s'appuie sur des formalismes difficiles. Cet ouvrage propose une introduction méthodique à ces formalismes et aux concepts dont ils sont porteurs.