Preface; 1. Informal statement calculus; 2. Formal statement calculus; 3. Informal predicate calculus; 4. Formal predicate calculus; 5. Mathematical systems; 6. The Goedel incompleteness theorem; 7. Computability, unsolvability, undecidability; Appendix; Hints and solutions to selected exercises; References and further reading; Glossary of symbols; Index.
This is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general.