Logic for Mathematicians
Arran Hamilton · CERN Document Server (European Organization for Nuclear Research) · 1978
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.