ADN (Asistente para Deducción Natural): Natural Deduction Assistant

• Localización: First International Congress on Tools for Teaching Logic: proceedings : University of Salamanca, June 2000 / María Gracia Manzano Arjona (comp.), 2000, págs. 65-69
• Idioma: inglés
• Texto completo no disponible (Saber más ...)