Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados

Detalles Bibliográficos
Autor principal: Ramirez del Castillo, Carlos
Otras Contribuciones: Amor Montaño, Jose Alfredo (Asesor)
Formato: Tesis de licenciatura
Lenguaje:Español
Publicado: 1994
Materias:
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000205330
http://132.248.9.195/pmig2016/0205330/Index.html