Acciones

Lógica computacional y teoría de modelos (curso 2020-21)

De Lógica computacional y teoría de modelos (curso 2020-21)

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[editar]