Changes

← Older edit

Dedução Natural para a Lógica Proposicional Clássica (view source)

Revision as of 13:22, 6 October 2020

56 bytes added , 13:22, 6 October 2020

no edit summary

* [[Estratégias de demonstração]]

* [[Correção e completude para a Lógica Proposicional Clássica]]

* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

*

525

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1392"