Damas Beites P, Rosas Pereira Peixoto da Costa MC, Frazão Rodrigues Branco ML. Esquemas de demonstração para proposições de álgebra linear com valor lógico verdade. RELIME. 2020;23(1). doi:10.12802/relime.20.2312