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 [Internet]. 20 de marzo de 2020 [citado 10 de diciembre de 2025];23(1). Disponible en: https://relime.org/index.php/relime/article/view/42