Lógica modal proposicional. Técnicas de deducción natural para los sistemas T, SB, B y S5

• Autores: Juan Negrete
• Localización: Revista venezolana de Filosofía, ISSN 1013-2368, Nº 28-29, 1993, págs. 41-110
• Idioma: español
• Texto completo no disponible (Saber más ...)