Este libro intenta llenar el vacío existente en la bibliografía española, ofreciendo una presentación accesible de la Semántica formal. El enfoque adoptado facilita especialmente la conexión entre la lingüística y otros dominios: no sólo tiende un puente hacia la Lógica y las Matemáticas, sino que abre para los lingüístas las puertas de disciplinas como las Ciencias cognitivas, la Lingüística computacional y la inteligencia Artificial.