One of the pioneers of mathematical logic in the twentieth century was
Alonzo Church. He introduced such concepts as the lambda calculus, now
an essential tool of computer science, and was the founder of the
Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church
presents a masterful overview of the subject--one which should be read
by every researcher and student of logic. The previous edition of this
book was in the Princeton Mathematical Series.