What is mathematical logic?

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams0486264041, 9780486264042

This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.