Logic Primer, 2nd Edition by Colin Allen & Michael Hand