Changes

Jump to navigation Jump to search

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
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/959"

Navigation menu