Examinando por Autor "Manuel Sierra Aristizabal"
Mostrando 1 - 1 de 1
Resultados por página
Opciones de ordenación
Ítem Lógica de las tautologías.(Fondo Editorial Universidad EAFIT, 2012-01-01) Manuel Sierra Aristizabal; Manuel Sierra Aristizabal; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónSe presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías.