Last 5 Pages Viewed: Correção e completude » Special:MobileDiff/462 » Special:MobileDiff/481 » Special:MobileDiff/468 » Special:MobileDiff/940

Changes

Jump to navigation Jump to search

Formalismos dedutivos (view source)

Revision as of 19:18, 23 August 2020

4 bytes removed ,  19:18, 23 August 2020
m
no edit summary
* Estilos
[VIDEO]
** : [[Dedução Natural]]** : [[Cálculo de Sequentes]]** : [[Tableaux]]** : [[Método da Resolução]]
== Para reflexão ==
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/940"

Navigation menu