Examinando por Materia "contingencia"

Mostrando 1 - 1 de 1
  • No hay miniatura disponible
    Í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ón
    Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías.