Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 18:35, 22 August 2020

15 bytes added ,  18:35, 22 August 2020
no edit summary
* Elementos constitutivos das árvoresde derivação
[VIDEO]
* [[DN para Lógica Clássica Proposicional]]
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/891"

Navigation menu