José Antonio Alonso Jiménez: fue académico por 43 años de la universidad de Sevilla, actualmente jubilado, hoy hablaré con él sobre la lógica computacional. Los primeros 33 minutos son una exposición que, deliberadamente, no quise interrumpir, pues José Antonio hace una maravillosa cronología de la historia de la lógica computacional.
Sitio web: https://jaalonso.github.io