Open main menu

Changes

10 bytes removed ,  12:47, 6 October 2020
no edit summary
== Veja também ==
* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]
== Links externos ==
*