Introducción a la lógica formal (Alianza) de segona mà