Last 5 Pages Viewed: Exemplo 4.1.2 - Solução » Árvores » Cadastro de um Participante em um Curso » Template:Category » Formalismos dedutivos

Difference between revisions of "Formalismos dedutivos"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m
Tag: 2017 source edit
Line 4: Line 4:
 
* [[Dedução Natural]]
 
* [[Dedução Natural]]
 
* [[Cálculo de Sequentes]]
 
* [[Cálculo de Sequentes]]
 +
* [[Tableaux]]
  
 
== Para reflexão ==
 
== Para reflexão ==

Revision as of 19:03, 23 August 2020

  • Estilos

[VIDEO]

Para reflexão

Veja também

Links externos

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php?title=Formalismos_dedutivos&oldid=936"