Árboles semánticos para lógica modal con algunos resultados sobre sistemas normales: tesis doctoral

• Autores: Francisco José Salguero Lamillar
• Localización: Summa logicae en el siglo XXI [Archivo de ordenador] / María Manzano (aut.), 2004, ISBN 84-7800-627-3
• Idioma: español
• Texto completo no disponible (Saber más ...)