Lógica simbólica - Hegenberg, Leónidas (Herder, 1966)