Breve introducción al Cálculo Lambda, modelo algebraico funcional de la matemática que es la base de los lenguajes funcionales de programación y fundamentos de muchas características de declaración de variables de lenguajes de programación en general
Apartado de temas y contenidos de Lógica en un sentido amplio, teoría de conjuntos, fundamentos de la matemática, lógicas no-clásicas.