Difference between revisions of "Formalismos dedutivos"

Revision as of 19:14, 23 August 2020

[VIDEO]

Revision as of 19:03, 23 August 2020 (view source) Jmarcos (talk \| contribs) m Tag: 2017 source edit ← Older edit		Revision as of 19:14, 23 August 2020 (view source) Jmarcos (talk \| contribs) m Tag: 2017 source edit Newer edit →
Line 1:		Line 1:
−	* Estilos	+	* Estilos: axiomático, dedução natural, cálculo de sequentes, etc
	[VIDEO]		[VIDEO]