Changes

← Older edit

Lógica de primeira ordem (view source)

Revision as of 17:59, 7 October 2020

30 bytes removed , 17:59, 7 October 2020

no edit summary

* [[Sintaxe da lógica de primeira ordem]]

* [[~~Sistemas~~ Formalismos dedutivos ~~para a lógica de primeira ordem~~]]

* [[Semântica formal para a lógica de primeira ordem]]

525

edits

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