A philosophical companion to first-order logic /
Hughes, R. I. G.
Indianapolis, Ind. ; Cambridge : Hackett,
c1993.
Includes bibliographical references and index
First-order logic.