Objectivos
Licenciatura Bolonha em Matemática Aplicada e Computação
Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda
Estabelecer os resultados principais em lógica de predicados de primeira ordem e suas teorias da aritmética e dos conjuntos.