Prueba automática para las lógicas LE, K, T y S4
- Sarabia Álvarez-Ude, Jaime
- Benítez, Antonio
ISSN: 0210-1602
Año de publicación: 1985
Volumen: 15
Número: 1-2
Páginas: 213-230
Tipo: Artículo
Otras publicaciones en: Teorema: Revista internacional de filosofía