Álgebras para la lógica implicativa con conjunción.


Cita

Cómo citar

Thumbnail

Thumbnail

Gestores Bibliograficos

Exportar a Bibtex

Exportar a RIS

Exportar a Excel

Buscar en google Schoolar

Buscar en microsoft academic

untranslated

Código QR

Castillo, Mauricio
Oostra, Arnold

Artículo de revista

2011-09-14

Se elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al segmento {!, ^} del cálculo proposicional intuicionista.

http://hdl.handle.net/10893/257

Descripción: Algebras para la logica implicativa con conjuncion.pdf
Título: Algebras para la logica implicativa con conjuncion.pdf
Tamaño: 418.6Kb
Unicordoba LogoPDFArchivo de acceso abiertoFLIPLEER EN FLIP

Show full item record