Ce livre est une introduction à la sémantique formelle. Il s'adresse principalement à des étudiants en sciences du langage, mais aussi à des étudiants en mathématiques ou en logique qui auraient envie de connaître les applications de leur discipline au domaine linguistique...