Introducción a la lógica y al análisis formal / por Manuel Sacristán Luzón.