Changes

Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)

53 bytes added , 13:48, 6 October 2020

== Veja também ==

* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

*

525

edits