First-order logic : a concise introduction /
Heil, John.
Boston ; London : Jones and Bartlett Publishers,
c1994.
Includes index.
Text on inside covers, amended by enclosed errata sheet.
First-order logic.