Logic for Mathematicians

Preface 1. Informal statement calculus 2. Formal statement calculus 3. Informal predicate calculus 4. Formal predicate calculus 5. Mathematical systems 6. The Godel incompleteness theorem 7. Computability, unsolvability, undecidability Appendix Hints and solutions to selected exercises References and further reading Glossary of symbols Index.