Matemáticas Enseñanza Universitaria

URI permanente para esta colección

https://hdl.handle.net/10893/14690

Navegar

Mostrando 1 - 1 de 1

Acceso abierto
Álgebras para la lógica implicativa con conjunción.
(2011-09-14) Castillo, Mauricio; Oostra, Arnold
Se elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al segmento {!, ^} del cálculo proposicional intuicionista.