1
Assuntos:
“...Gentzen Systems...”
Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos
Dissertação