Open main menu
Logic Wiki
Search
Correção e completude para a Lógica de Primeira Ordem Clássica
Read in another language
Watch this page
Edit
Revision as of 02:14, 16 October 2020 by
Jmarcos
(
talk
|
contribs
)
(vídeo adicionado)
(
diff
)
← Older revision
| Latest revision (diff) | Newer revision → (diff)
Para reflexão
Veja também
Introdução Computacional à Lógica Matemática
Links externos
Dedução Natural para a Lógica de Primeira Ordem Clássica
Semântica formal para a Lógica de Primeira Ordem Clássica