{PDF} What is mathematical logic? C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams

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.