Introducción a la lógica formal (Alianza Editorial)