Difference between revisions of "Introdução Computacional à Lógica Matemática"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m
Tag: 2017 source edit
Line 4: Line 4:
  
 
* [[Sintaxe (lógica)]]
 
* [[Sintaxe (lógica)]]
−
* [[Formalismos dedutivos]]
+
* [[Sistemas dedutivos]]
 
* [[Modelos (lógica)]]
 
* [[Modelos (lógica)]]
  

Revision as of 20:11, 22 August 2020

Para reflexão

Veja também

Links externos

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php?title=Introdução_Computacional_à_Lógica_Matemática&oldid=892"