Predicate logic introduction to logic - Pospesel, Howard (Prentice Hall, 1976)