Publicación: Lógica de las tautologías.
Archivos
Fecha
2012-01-01
Autores
Manuel Sierra Aristizabal
dc.contributor.advisor
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.
Descripción
Palabras clave
Citación
dc.relation.uri
dc.identifier.doi
Colecciones
dc.rights
https://v2.sherpa.ac.uk/id/publication/issn/1794-9165