Lógica de las tautologías.
Archivos
Fecha
2012-01-01
Autores
Manuel Sierra Aristizabal
Título de la revista
ISSN de la revista
Título del volumen
Editor
Fondo Editorial Universidad EAFIT
Resumen
Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías.