Changes

Dedução Natural para a Lógica Proposicional Clássica (view source)

39 bytes added , 23:34, 22 September 2020

m

no edit summary

* [[Exercícios de Dedução Natural]]

* [[Estratégias de demonstração]]

* [[Correção e completudepara a Lógica Proposicional Clássica]]

== Links externos ==

*

525

edits