Acciones

Lógica computacional y teoría de modelos (2019-20)

De Lógica computacional y teoría de modelos (2019-20)

Esta es la página principal de la asignatura "Lógica computacional y teoría de modelos" del Máster Universitario en Matemáticas de la Universidad de Sevilla.

Material para el curso