A companion to philosophical logic - Jacquette, Dale, (Blackwell companions to philosophy, 2006)