First-order logic : - Heil, John (Jones and Bartlett series in logic, critical thinking and scientific method)