Predicate logic - Pospesel, Howard (Introduction to logic, 1976)