525
edits
Changes
criando página
* Versão tarskiana, unilateralista
[VIDEO]
== Para reflexão ==
*
== Veja também ==
* [[Introdução Computacional à Lógica Matemática]]
* [[Dedução Natural]]
== Links externos ==
*
[VIDEO]
== Para reflexão ==
*
== Veja também ==
* [[Introdução Computacional à Lógica Matemática]]
* [[Dedução Natural]]
== Links externos ==
*