Changes

Jump to navigation Jump to search
no edit summary
* '''Sistemas dedutivos''' particulares:
:* no estilo da [[Dedução Natural]]
:* no estilo do [[Cálculo de Sequentes]] [AGUARDE!]:* no estilo dos [[Tableaux]] [AGUARDE!]:* no estilo do [[Método da Resolução]] [AGUARDE!]
== Para reflexão ==

Navigation menu