Escorço Histórico da Lógica Matemática - Dias, Carlos Magno Corrêa (1994)