Diferencia entre revisiones de «Área de lógica matemática»

Contenido eliminado Contenido añadido
Sin resumen de edición
Sin resumen de edición
Línea 16:
*[http://www.cs.otago.ac.nz/staffpriv/hans/logiccourseware.html ''Logic software and logic education''], de Hans van Ditmarsch
*[http://logicae.usal.es ''Summa Logicae''], de María Manzano
 
==Software para la edición de textos de Lógica==
 
*[http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/ ''LaTeX for Logicians''], de Peter Smith, University o Cambridge