Changes

Formalismos dedutivos (view source)

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]

525

edits