Prueba automática para las lógicas LE, K, T y S4

• Autores: Jaime Sarabia Álvarez-Ude, Antonio Benítez
• Localización: Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 15, Nº. 1-2, 1985, págs. 213-230
• Idioma: español
• Enlaces
  • Texto completo (pdf)