Show simple item record

dc.creatorSierra-Aristizabal, Manuel H.
dc.date.available2021-03-26T21:36:43Z
dc.date.issued2011-01-01
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=2829
dc.identifierurn:isbn:9589041981
dc.identifier.urihttp://hdl.handle.net/10784/27438
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.
dc.languagespa
dc.publisherEditorial EAFIT
dc.rightsEditorial EAFIT
dc.titleInferencia visual para las lógicas normales
dc.typeinfo:eu-repo/semantics/book
dc.typeLibro Completo
dc.typeinfo:eu-repo/semantics/publishedVersion
dc.date.accessioned2021-03-26T21:36:43Z


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record