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