Exercícios sobre eliminação de quantificadores por via semântica

30 novembro 2017, 16:00 • João Rasga

Resolução de exercícios sobre todos os embebimentos entre modelos de uma teoria serem elementares para o existe.