525
edits
Changes
Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)
Revision as of 21:59, 5 October 2020
, 21:59, 5 October 2020no edit summary
== Veja também ==
* [[Quantificadores]]
* [[Dedução Natural]]
* [[Exercícios de Dedução Natural]]