Ayda Ignez Arruda e as suas contribuições para a institucionalização da lógica matemática no Brasil - Machado, Suélen Rita Andrade (2021)
Orientador: Prof.ª Dr.ª Lucieli Maria Trivizoli