Silva, H. G. da; Feitosa, H. de A. Lógica Da Verdade Pragmática Apresentada Num Sistema Dedutivo De Tableaux. C. Q. D. 2022, 7.