Predicate logic - Pospesel, Howard, 1937-. (Englewood Cliffs, N.J. : Prentice-Hall, 1976)
Includes bibliographical references and index.
Keywords: Predicate (Logic).; Proposition (Logic).; Logic, Symbolic and mathematical -- Problems, exercises, etc