T21_5
8 Março 2019, 10:30 • Mário Jorge Edmundo
Homomorfismos e termos; homomorfismos e fórmulas atómicas; mergulhos e fórmulas sem quantificadores; mergulhos e fórmulas existências; mergulhos elementares; isomorfismos são mergulhos elementares; sub-estrutura elementar.