classic text by Alonzo Church
written by a world expert in 1944 (revised in 1951) it is still a good introduction to first order mathematical logic with a detailed introduction to its place in languages of mathematical notation and inference rules .I found a very good price for a used copy and couldn't pass it up. By now there are of course many other sources .This one is supposed to assume less set theory then others .