Crossley J.N. et al. What is Mathematical Logic?

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams. — N.Y.: Dover Publications, Inc., 1990. — 90 p. — ISBN 0-486-26404-1.This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient times, it traces the 17th-century development of calculus and discusses modern theories, including set theory, the continuum hypothesis, and other ideas.