First order mathematical logic - Margaris, Angelo (New York Dover Publications, 1990)
includes index.
Keywords: First-Order logic -- Mathematics -- Calculus -- Mathematical logic -- Formulation -- Predicate calculus -- Math