Lógica simbólica - GARRIDO, Manuel (TECNOS, 1986)