Sistemas de deducción natural tipo Gentzen

• Autores: Camino Cañón Loyes
• Localización: Lógica, epistemología y teoría de la ciencia: seminario de profesorado universitario, 1981, ISBN 84-369-0914-3, págs. 65-81
• Idioma: español
• Texto completo no disponible (Saber más ...)