Cálculo automático de matrices para sistemas implicativos

  1. García Noriega, Benito
  2. Méndez Rodríguez, José Manuel
Livre:
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.)

Éditorial: Ediciones Universidad de Salamanca ; Universidad de Salamanca

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

Année de publication: 1986

Titre du volume: Lógica y filosofía del lenguaje

Volumen: 2

Pages: 139-143

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

Type: Communication dans un congrès

DIALNET GOOGLE SCHOLAR
La source de données: Dialnet