525
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 13:47, 6 October 2020
, 13:47, 6 October 2020no edit summary
==Veja também==
*[[Dedução Natural]]*[[Estratégias de demonstração]]
* [[Introdução Computacional à Lógica Matemática]]