Changes

Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)

22 bytes added , 21:59, 5 October 2020

m

no edit summary

== Veja também ==

* [[Quantificadores]]

* [[Dedução Natural]]

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

525

edits