AT22 Teste de Vaught
10 dezembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Estrutura induzida por teoria finitamente satisfazível e com a propriedade da testemunha.
10 dezembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Estrutura induzida por teoria finitamente satisfazível e com a propriedade da testemunha.