El Hauptsatz de Gentzen para los sistemas NI y NK

• Autores: Andrés B. Raggio
• Localización: Antología de la lógica en América Latina, 1988, ISBN 8486884551, págs. 119-129
• Idioma: español
• Texto completo no disponible (Saber más ...)