Introducción a la lógica formal (Alianza) d'occasion