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