Changes

Jump to navigation Jump to search

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

Navigation menu