T21_2

22 Fevereiro 2019, 10:30 • Mário Jorge Edmundo

Sub-estruturas,  exemplos; domínio de uma sub-estrutura; sub-estrutura gerada por um subconjunto; Lowenheim-Skolem para baixo versão fraca.