First order mathematical logic /
Margaris, Angelo.
New York : Dover Publications,
1990.
Reprint. Originally published: Waltham, Mass. : Blaisdell Pub. Co., 1967. Originally published in series: A Blaisdell book in pure and applied mathematics.
Includes bibliographical references (p. 195-199) and indexes.
First-order logic.