Cálculo automático de matrices para sistemas implicativos

  1. García Noriega, Benito
  2. Méndez Rodríguez, José Manuel
Libro:
Simposio Hispano-Mexicano de Filosofía: Salamanca, Octubre 1984
  1. Álvarez Toledo, Sebastián (comp.)
  2. Broncano, Fernando (comp.)
  3. Quintanilla Fisac, Miguel Ángel (comp.)

Editorial: Ediciones Universidad de Salamanca ; Universidad de Salamanca

ISBN: 84-7481-384-0,  84-7481-386-7

Año de publicación: 1986

Título del volumen: Lógica y filosofía del lenguaje

Volumen: 2

Páginas: 139-143

Congreso: Simposio Hispano-Mexicano de Filosofía (1. 1984. Salamanca)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet