AT21 Teorias finitamente satisfazíveis

3 dezembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Teoria finitamente satisfazível. Existência de extensão finitamente satisfazível e exaustiva de teoria satisfazível.