Curso "Lógica matemática y fundamentos (2011-12)". https://jaalonso.github.io/cursos/lmf-11 #Lógica #Haskell #ProgramaciónFuncional
Lógica matemática y fundamentos (2011-12)