Predicate logic Introduction to logic. - Pospesel Howard (New Jersey Prentice Hall, 1976)