Changes

Correção e completude para a Lógica de Primeira Ordem Clássica (view source)

Revision as of 22:04, 5 October 2020

132 bytes added , 22:04, 5 October 2020

m

no edit summary

== Links externos ==

*[[Dedução Natural para a Lógica de Primeira Ordem Clássica]]* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]

525

edits

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