Predicate logic - Epstein, Richard L. 1947- (New York Oxford University Press, 1994)
v. 1. Predicate logic.
Includes bibliographical references and indexes.
Keywords: Logic; Logic, Symbolic and mathematical; Semantics