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