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