Álgebras para la lógica implicativa con conjunción.
Portada
Cargando...
PDF 
FLIP Citas bibliográficas
Gestores Bibliográficos
Indexadores
Código QR
Autor corporativo
Recolector de datos
Otros/Desconocido
Director audiovisual
Editor/Compilador
Editores
Tipo de Material
Fecha
2011-09-14
Cita bibliográfica
Título de serie/ reporte/ volumen/ colección
Resumen en español
Se elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al segmento {!, ^} del cálculo proposicional intuicionista.
Descripción general
Notas
Entidad
Publication