Diferencia entre revisiones de «Área de lógica matemática»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 21:
'''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
|