Prática 11

3 dezembro 2019, 13:00 • João Rasga

Conclusão do exercicio sobre modelos algebricamente primos e teoria de Presburger .