Open main menu
Logic Wiki
Search
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
Read in another language
Watch this page
Edit
Revision as of 21:53, 5 October 2020 by
Jmarcos
(
talk
|
contribs
)
(criando verbete)
(diff) ← Older revision |
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Regras para a
quantificação universal
intuicionista
Regras para a
quantificação existencial
intuicionista
Para reflexão
Veja também
Dedução Natural
Exercícios de Dedução Natural
Estratégias de demonstração
Links externos