AULA 10

16 Março 2017, 09:30 Fernando Ferreira

Os teoremas de Löwenheim-Skolem. Subestruturas elementares. Estruturas elementarmente equivalentes.