Lógica simbólica - Garrido Jiménez, Manuel (Tecnos, 2005)