Changes

Formalismos dedutivos (view source)

4 bytes removed , 19:18, 23 August 2020

m

no edit summary

* Estilos

[VIDEO]

** : [[Dedução Natural]]** : [[Cálculo de Sequentes]]** : [[Tableaux]]** : [[Método da Resolução]]

== Para reflexão ==

525

edits