Difference between revisions of "Correção e completude para a Lógica de Primeira Ordem Clássica"

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
Tag: 2017 source edit
Line 7: Line 7:
 
== Veja também ==
 
== Veja também ==
  
*  
+
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==

Revision as of 13:44, 6 October 2020