Changes

Dedução Natural (view source)

Revision as of 14:32, 26 August 2020

6 bytes removed , 14:32, 26 August 2020

m

no edit summary

(Abreviatura: ~~'''~~DN~~'''~~ = Dedução Natural)

* Componentes do formalismo dedutivo da DN: regras e derivações

525

edits

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