MATE 4022. Lógica Matemática Avanzada

Código MATE 4022
Titulo Lógica Matemática Avanzada
Creditos 3
Horas 3 por semana
Prerrequisitos MATE 4021
Descripción Teoría de números formal. Teoría de conjuntos axiomática. Computabilidad efectiva. Teorema de completabilidad de Gödel y temas relacionados.
Información adicional