MAT0359 - Lógica/MAT6601 - Introdução à Lógica Matemática (2021)

Desenvolver a lógica de 1 ordem clássica, incluindo os teoremas da completude e da incompletude de Gödel. Desenvolver exemplos em teorias matemáticas concretas.