Lógica elemental / Benson Mates ; traducción: Leónidas H. B. Hegenberg e Octanny Silveira da Mota - Mates, Benson