The formal specification of systems and the teaching of logic

• 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. 181-185
• Idioma: inglés
• Texto completo no disponible (Saber más ...)