Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 18:28, 22 August 2020

79 bytes added ,  18:28, 22 August 2020
no edit summary
== Para reflexão ==
* Árvores de derivação: manipulando ''fórmulas'' ou ''sequentes''?[AGUARDE!]
== Veja também ==
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/889"

Navigation menu