525
edits
Changes
Jump to navigation
Jump to search
no edit summary
== Veja também ==
* [[Dedução Natural]]* [[Cálculo de Sequentes]]* [[Tableaux]]* [[Método da ResoluçãoSistemas dedutivos para a lógica proposicional]]
* [[Introdução Computacional à Lógica Matemática]]
