Difference between revisions of "Correção e completude para a Lógica de Primeira Ordem Clássica"
Jump to navigation
Jump to search
Tag: 2017 source edit |
(vídeo adicionado) Tag: 2017 source edit |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
− | + | {{#ev:youtube|zRZmfBlAiv0}} | |
== Para reflexão == | == Para reflexão == | ||
Line 7: | Line 7: | ||
== Veja também == | == Veja também == | ||
− | * | + | * [[Introdução Computacional à Lógica Matemática]] |
== Links externos == | == Links externos == |