Changes

Dedução Natural para a Lógica Proposicional Intuicionista (view source)

63 bytes added , 16:58, 1 March 2021

m

adding links

* [[Dedução Natural]]

* [[Dedução Natural para a Lógica Proposicional Clássica]]

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

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

525

edits