Logic for Mathematicians
Published 20 July 1978
Arran Hamilton
Citations152
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
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.
Keywords
Computer Science