Changes

Jump to navigation Jump to search

Exercícios de Dedução Natural (view source)

Revision as of 01:53, 2 September 2020

39 bytes removed ,  01:53, 2 September 2020
no edit summary
(Abreviatura: DN = Dedução Natural)
 
== Dedução Natural para a Lógica Proposicional Intuicionista ==
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1074"

Navigation menu