Last 5 Pages Viewed: Special:MobileDiff/1028 » Special:SearchByProperty/:Schema-20type/... » Special:MobileDiff/1374

Changes

Jump to navigation Jump to search
no edit summary
* '''Estilos''' de formalismo dedutivo<!--
--><p>{{#ev:youtube|SouCz7oIRk4}}</p>
* '''Sistemas dedutivos'''particulares::* no estilo da [[Dedução Natural]]:* no estilo do [[Cálculo de Sequentes]]:* no estilo dos [[Tableaux]]:* no estilo do [[Método da Resolução]]
== Para reflexão ==

Navigation menu