525
edits
Changes
Semântica formal para a lógica de primeira ordem (view source)
Revision as of 13:38, 6 October 2020
, 13:38, 6 October 2020no edit summary
== Veja também ==
* [[Semântica formal para a lógica proposicional]]
* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]
* [[Semântica formal para a Lógica de Primeira Ordem Intuicionista]] [AGUARDE!]