Last 5 Pages Viewed: Special:MobileDiff/483 » Special:MobileDiff/903 » Special:MobileDiff/448 » Special:MobileDiff/485 » Special:MobileDiff/938

Changes

Jump to navigation Jump to search

Formalismos dedutivos (view source)

Revision as of 19:15, 23 August 2020

27 bytes removed ,  19:15, 23 August 2020
m
no edit summary
* Estilos: axiomático, dedução natural, cálculo de sequentes, etc
[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/938"

Navigation menu