Starting with the concept that mathematical logic is not a collection of vaguely related results, but a method of attacking some of the most interesting problems which face the mathematician, the author sets the tone for this classic introduction. The basic concepts are presented in an unusually clear and accessible fashion, keeping in mind the original purpose of mathematical logic to build the foundations of this vast edifice of knowledge in a way that helps and intrigues the working mathematician as much as the philosophically minded student of logic. This book has served as a rite of passage to many mature and accomplished researchers.
Review "This classic text is as fresh and useful today as when first published. Noted for the economy of its presentation, it includes a wealth of basic and key results from all parts of mathematical logic." -Solomon Feferman, Stanford University"