525
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
* Estilos: axiomático, dedução natural, cálculo de sequentes, etc
[VIDEO]
** [[Dedução Natural]]** [[Cálculo de Sequentes]]** [[Tableaux]]** [[Método da Resolução]]
== Para reflexão ==
