Página principal
De Lógica matemática y fundamentos (2018-19)
Revisión del 12:20 7 feb 2019 de Jalonso (discusión | contribuciones)
Este sitio contiene materiales del curso Lógica matemática y fundamentos de 3º del Grado en Matemáticas de la Universidad de Sevilla.
Material para el curso
- Temas: Teorías de los temas en Isabelle/HOL.
- Ejercicios: Relaciones de ejercicios.