Open main menu
Logic Wiki
Search
Changes
← Older edit
Newer edit →
Exercícios de Dedução Natural
(view source)
Revision as of 01:53, 2 September 2020
39 bytes removed
,
01:53, 2 September 2020
no edit summary
(Abreviatura: DN = Dedução Natural)
== Dedução Natural para a Lógica Proposicional Intuicionista ==
Jmarcos
Administrators
525
edits