Changes

Formalismos dedutivos (view source)

135 bytes added , 18:36, 22 August 2020

recriando página apagada por equívoco

[VIDEO]

* [[Dedução Natural]]
* [[Cálculo de Sequentes]]

== Para reflexão ==

*

== Veja também ==

*

== Links externos ==

*

525

edits