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