Aritmética de Presburger: completude

18 dezembro 2008, 16:00 João Rasga

Exercícios sobre relacionamento de estruturas e aritmética de Presburger.