Difference between revisions of "Formalismos dedutivos"

Revision as of 16:37, 12 September 2020

Revision as of 16:36, 12 September 2020 (view source) Jmarcos (talk \| contribs) (acrescentando video) Tag: 2017 source edit ← Older edit		Revision as of 16:37, 12 September 2020 (view source) Jmarcos (talk \| contribs) m Tag: 2017 source edit Newer edit →
Line 16:		Line 16:
	== Links externos ==		== Links externos ==

−	* [[https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Teoremas de Incompletabilidade de Gödel]]	+	* [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Teoremas de Incompletabilidade de Gödel]