Probably the best introduction to Mathematical Logic I have come across. It does not really teach you Mathematical Logic as there is no treatment of axioms which I take to be the hallmark of Mathematical Logic. The book is really more Symbolic Logic. It is thorough on this subject except that it does not name all the rules of symbolic logic that you would get in an under-graduate course.