Este libro esta pensado para los estudiantes de Logica de las facultades de Filosofia e Informatica y en general para quienes se acercan a la logica por vez primera El texto que se apoya en numerosos ejemplos y ejercicios es accesible interdisciplinar y moderno en su concepcion poniendo especial enfasis en la semantica Aporta tecnicas sencillas de prueba diagramas de Venn para la logica de predicados monarios y tableaux semanticos calculos de res...