https://jaalonso.github.io
Universidad de Sevilla Sevilla (España) Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Jose A. Alonso