525
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
* Da derivabilidade das regras estruturais na notação DN<sup>Tree</sup>
[VIDEO]
* Definição formal da relação de consequência dedutiva a partir de um sistema de Dedução Natural
[VIDEO]
