The logic book - Bergmann, Merrie; Moor, James; Nelson, Jack (Boston : McGraw-Hill, 2004)
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical; Predicate (Logic)