Learning logic with Smullyan: the advantages of Smullyan's tree calculus for teaching logic, and a program for teaching and testing derivations: SM-Tutor

• Autores: Walter Hoering
• 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. 35-37
• Idioma: inglés
• Texto completo no disponible (Saber más ...)