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 presentacion accesible de la Semantica formal. El enfoque adoptado facilita especialmente la conexion entre la linguistica y otros dominios: no solo tiende un puente hacia la Logica y las Matematicas, sino que abre para los linguistas las puertas de disciplinas como las Ciencias cognitivas, la Linguistica computacional y la inteligencia Artificial.