1
Assuntos:
“...Método dos tableaux...”
Um método dos tablôs por prova direta para a lógica clássica
Dissertação