Este libro es una introducción a la semántica formal, una rama de la lingüística que estudia el significado de las palabras y las oraciones utilizando herramientas lógicas y matemáticas. Está dirigido a estudiantes de lingüística y a cualquier persona interesada en el estudio del lenguaje. El autor, Emmon Bach, presenta los conceptos básicos de la semántica formal de una manera clara y accesible, con numerosos ejemplos y ejercicios.