Lógica Computacional y Teoría de Modelos
Máster Universitario en Matemáticas
Facultad de Matemáticas
Datos básicos
Asignatura optativa de primer
curso
que se imparte en español.
Enlaces
Programas y proyectos docentes
de la asignatura.
