Lógica: Simbolização e dedução - Hegenberg, Leônidas (Ed. Pedagógica e Univ. [u.a.], 1975)