La introducción más clara y completa a la semántica formal en lengua española, ahora revisada y actualizada.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üistas las puertas de disciplinas como las Ciencias cognitivas, la Lingüística computacional y la inteligencia Artificial.