Changes

← Older edit

Exercícios de Dedução Natural (view source)

Revision as of 11:07, 23 July 2021

11 bytes removed , 11:07, 23 July 2021

→‎Dedução Natural para a Lógica de Primeira Ordem Clássica

==Dedução Natural para a Lógica de Primeira Ordem Clássica==

~~[AGUARDE!]~~

=== Derivabilidade de sequentes ===

Bureaucrats, Administrators

205

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1517"