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.