Last 5 Pages Viewed: Special:PropertyLabelSimilarity » Special:UserRights/Patrickts » Special:MobileDiff/1481 » Semântica formal para a Lógica de Primei... » Special:MobileDiff/902

Changes

Jump to navigation Jump to search

Formalismos dedutivos (view source)

Revision as of 18:36, 22 August 2020

135 bytes added ,  18:36, 22 August 2020
recriando página apagada por equívoco
[VIDEO]

* [[Dedução Natural]]
* [[Cálculo de Sequentes]]

== Para reflexão ==

*

== Veja também ==

*

== Links externos ==

*
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/902"

Navigation menu