-
1por Costa, David Gomes., Medeiros, Maria da Paz Nunes de., Universidade Federal do Rio Grande do Norte.“...Resumo:A formalizacao de sistemas de logica em deducao natural traz muitas vantagens meta...”
Mais informações
Dissertação -
2
-
3
-
4“... passo-a-passo a exposi ção dos conteúdos de Dedução Natural e Semântica Proposicional de forma...”
Mais informações
Dissertação -
5