Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados
Autor principal: | |
---|---|
Otras Contribuciones: | |
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 |