Changes

Jump to navigation Jump to search

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]]
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1326"

Navigation menu