Cálculo automático de matrices para sistemas implicativos

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

Argitaletxea: Ediciones Universidad de Salamanca ; Universidad de Salamanca

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

Argitalpen urtea: 1986

Bolumenaren izenburua: Lógica y filosofía del lenguaje

Alea: 2

Orrialdeak: 139-143

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

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet