Estudio de varios cálculos lógicos implicativos algebrizables

  1. García Lapresta, José Luis
Buch:
XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

Verlag: Universidade de Évora

Datum der Publikation: 1991

Titel des Bandes: Algebra, lógica e teoria de números

Ausgabe: 1

Seiten: 25-30

Kongress: Jornadas Luso-Espanholas de Matemática (15. 1990. Évora)

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet