Cálculo automático de matrices para sistemas implicativos

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

Verlag: Ediciones Universidad de Salamanca ; Universidad de Salamanca

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

Datum der Publikation: 1986

Titel des Bandes: Lógica y filosofía del lenguaje

Ausgabe: 2

Seiten: 139-143

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

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet