Los principales objetivos de esto libro son: Introducir herramientas y conceptos básicos de la Lógica Matemática y sus aplicaciones. Ayudar a aprender a razonar y formalizar correctamente. Fijar las bases teóricas para el estudio de la Lógica Informática,