Propositional logic introduction to logic - Pospesel, Howard (Prentice-Hall, 1984)