AP06 Metateoremas
11 março 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Aplicação dos metateoremas da contradição e da substituição de equivalentes em derivações.
11 março 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Aplicação dos metateoremas da contradição e da substituição de equivalentes em derivações.