525
edits
Changes
Correção e completude para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 13:44, 6 October 2020
, 13:44, 6 October 2020no edit summary
== Veja também ==
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==