Descripción

OBESO, VIRGILIO//UNIVERSIDAD DEL NORTE//GENERAL
introduce al estudiante en el método deductivo moderno, conectores lógicos, cálculo de predicados y teoría de conjuntos. Se centra en traducir el lenguaje coloquial a símbolos lógicos para demostrar teoremas y validar argumentos.