A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior - Dias, Carlos Magno Correa (1993)
Orientador: Zelia Mileo Pavão