Introduction to Logic Predicate Logic - Pospesel, Howard (United States of America Prentice - Hall, Inc, 1976)
includes Appendix and Index