Lógica - Ibarra Barrón, Carlos (Editorial Addison Wesley Longman, 1998)