Changes

Introdução Computacional à Lógica Matemática (view source)

Revision as of 20:11, 22 August 2020

3 bytes removed , 20:11, 22 August 2020

m

no edit summary

* [[Sintaxe (lógica)]]

* [[~~Formalismos~~ Sistemas dedutivos]]

* [[Modelos (lógica)]]

525

edits

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