First order mathematical logic - Margaris, Angelo (New York Dover Publications, 1990)
Keywords: First-order logic