El objetivo de este libro es facilitar la entrada en la lógica formal, aplicada al análisis lingüístico. Al mismo tiempo, se propone proporcionar un panorama de los principales aspectos de lingüística y especialmente de la semántica en que la formalización resulta fructífera o p…