Sistemas usados en "Lógica matemática y fundamentos" (2017-18)

En esta página se encuentran enlaces a los sistemas utilizados en en el curso "Lógica matemmática y fundamentos".


Universidad de Sevilla
José A. Alonso Jiménez
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 03-3-2018
Creative Commons License Esta obra está bajo una licencia de Creative Commons.