Changes

← Older edit

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

Revision as of 16:58, 1 March 2021

63 bytes added , 16:58, 1 March 2021

m

adding links

* [[Dedução Natural]]

* [[Dedução Natural para a Lógica Proposicional Clássica]]

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

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

525

edits

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