[1]
2021. Sequentes como duais dos tableaux para lógicas polivalentes. C.Q.D. - Revista Eletrônica Paulista de Matemática. 21, (dez. 2021).