Open main menu
Logic Wiki
Search
Changes
← Older edit
Newer edit →
Formalismos dedutivos
(view source)
Revision as of 13:02, 6 October 2020
56 bytes added
,
13:02, 6 October 2020
no edit summary
* [[Tableaux]]
* [[Método da Resolução]]
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
* [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Teoremas de Incompletabilidade de Gödel]
Jmarcos
Administrators
525
edits