Estudio de varios cálculos lógicos implicativos algebrizables

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

Publisher: Universidade de Évora

Year of publication: 1991

Volume Title: Algebra, lógica e teoria de números

Volume: 1

Pages: 25-30

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

Type: Conference paper

DIALNET GOOGLE SCHOLAR
Data source: Dialnet