Introduction to logic : predicate logic - Pospesel, Howard Andrew (Prentice Hall, 2003)