Changes

Introdução Computacional à Lógica Matemática (view source)

No change in size , 12:53, 6 October 2020

no edit summary

* [[Relação de consequência]]

* [[Lógica ~~Proposicional~~proposicional]]

* [[Lógica de Primeira Ordem]]

* [[Lógicas de Ordem Superior]]

525

edits