Introducción a la lógica y al método científico: 1. Lógica formal - Cohen, Morris (Amorrortu editores, 2001)