Lógica simbólica - Garrido, Manuel (Tecnos, 1997)