Logica simbolica - Garrido, Manuel (Tecnos, 1974)