Changes

Jump to navigation Jump to search

Dedução Natural (view source)

Revision as of 20:20, 3 September 2020

30 bytes added ,  20:20, 3 September 2020
m
no edit summary
* [[Estratégias de demonstração]]
* [[Relação de consequência]]
* [[Correção e completude]]
== Links externos ==
*
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1088"

Navigation menu