AULA 11
22 Março 2017, 11:30 • Fernando Ferreira
Diagrama e diagrama elementar duma estrutura. Teoremas de Löwenheim-Skolem descendente e ascendente.
22 Março 2017, 11:30 • Fernando Ferreira
Diagrama e diagrama elementar duma estrutura. Teoremas de Löwenheim-Skolem descendente e ascendente.