Introduction to logic : propositional logic - Pospesel, Howard Andrew (Prentice Hall, 2000)