Lógica simbólica - Garrido, Manuel 1925-2015 (Tecnos, 1977)