Changes

Dedução Natural para a Lógica Proposicional Intuicionista (view source)

Revision as of 22:07, 21 September 2020

6 bytes removed , 22:07, 21 September 2020

m

no edit summary

* [[Dedução Natural]]

* [[Noção de equivalência lógica]]

* [[Exercícios de Dedução Natural]]

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

* [[Relação de consequência]]

== Links externos ==

*

525

edits

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