Difference between revisions of "Correção e completude para a Lógica de Primeira Ordem Clássica"

Revision as of 22:04, 5 October 2020

[VIDEO]

Revision as of 22:04, 5 October 2020 (view source) Jmarcos (talk \| contribs) m Tag: 2017 source edit ← Older edit		Revision as of 22:04, 5 October 2020 (view source) Jmarcos (talk \| contribs) Tag: 2017 source edit Newer edit →
Line 1:		Line 1:
−	[~~AGUARDE~~]	+	[VIDEO]

	== Para reflexão ==		== Para reflexão ==