Licenciatura Bolonha em Matemática Aplicada e Computação

Estabelecer os resultados principais em lógica de predicados de primeira ordem e suas teorias da aritmética e dos conjuntos.