Courses

Curso: Introducción al forcing o Introducción a la correspondencia entre las pruebas y los programas.

Share:

Se dictará uno de los dos cursos de acuerdo al interés de los estudiantes

Teachers:

Responsable: Prof. Alexandre Miquel

Credits:

12 créditos

Fecha de inicio:

12/08/2024

Fecha de fin:

22/11/2024

Ver programa del curso