Logic in Reality - Brenner, Joseph E. (Springer Netherlands, 2008)