Lógica básica con afirmación y negación alternas

Detalles Bibliográficos
Autor principal: Sierra Aristizábal, Manuel (-)
Formato: Libro electrónico
Idioma:Castellano
Publicado: Bogotá : Red Universidad Eafit 2006.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009856846806719
Tabla de Contenidos:
  • LÓGICA BÁSICA CON AFIRMACIÓN Y NEGACIÓN ALTERNAS
  • Resumen
  • Palabras Clave
  • Abstract
  • Introducción
  • 1. Sistema LB
  • 2. Semántica para LB
  • Conclusiones
  • Bibliografía.