Logic for Mathematicians - J. Barkley Jr. Rosser
Examination of essential topics and theorems assumes no background in logic. Undoubtedly a major addition to the literature of mathematical logic. - Bulletin of the American Mathematical Society. 1978 edition.