Estudio de varios cálculos lógicos implicativos algebrizables

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

Argitaletxea: Universidade de Évora

Argitalpen urtea: 1991

Bolumenaren izenburua: Algebra, lógica e teoria de números

Alea: 1

Orrialdeak: 25-30

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

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet