• Frontmatter,
• TABLE OF CONTENTS,
• PREFACE,
• ANNALS OF MATHEMATICS STUDIES,
• CHAPTER I: FORMAL MATHEMATICAL SYSTEMS,
• CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY,
• CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY,
• CHAPTER IV: RECURSIVE FUNCTION THEORY,
• CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY,
• SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC,
• REFERENCE AND BRIEF BIBLIOGRAPHY,

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.