Inferencia visual para las lógicas normales

Vista sencilla de ítem
dc.contributor.authorSierra-Aristizabal, Manuel H.
dc.contributor.departmentUniversidad EAFIT. Departamento de Cienciasspa
dc.contributor.researchgroupLógica y Computaciónspa
dc.creatorSierra-Aristizabal, Manuel H.
dc.date.accessioned2021-03-26T21:36:43Z
dc.date.available2021-03-26T21:36:43Z
dc.date.issued2011-01-01
dc.description.abstractEste texto propone un método novedoso para el cálculo proposicional clásico, partiendo de un conjunto de reglas muy sencillas, inspiradas en las tablas de verdad tradicionales pero sin lo engorroso de estas.spa
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=2829
dc.identifier.isbn9589041981
dc.identifier.urihttp://hdl.handle.net/10784/27438
dc.language.isospaeng
dc.publisherEditorial EAFIT
dc.rightsEditorial EAFIT
dc.titleInferencia visual para las lógicas normalesspa
dc.typeinfo:eu-repo/semantics/bookeng
dc.typebookeng
dc.typepublishedVersioneng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.type.localLibrospa

Archivos

Colecciones

Libros