Changes

Jump to navigation Jump to search

Formalismos dedutivos (view source)

Revision as of 19:03, 23 August 2020

15 bytes added ,  19:03, 23 August 2020
m
no edit summary
* [[Dedução Natural]]
* [[Cálculo de Sequentes]]
* [[Tableaux]]
== Para reflexão ==
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/936"

Navigation menu