Aritmética de Presburger: completude
18 dezembro 2008, 16:00 • João Rasga
Exercícios sobre relacionamento de estruturas e aritmética de Presburger.
18 dezembro 2008, 16:00 • João Rasga
Exercícios sobre relacionamento de estruturas e aritmética de Presburger.