Changes

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

33 bytes added , 16:08, 22 August 2020

m

no edit summary

* [[Lógica Proposicional]]

* [[Lógica de Primeira Ordem]]

* [[Lógicas de Ordem Superior]]

== Para reflexão ==

525

edits