Home Physical Sciences ANNALS OF MATHEMATICS STUDIES
Chapter
Licensed
Unlicensed Requires Authentication

ANNALS OF MATHEMATICS STUDIES

  • Raymond M. Smullyan
View more publications by Princeton University Press
To Publisher Page
Theory of Formal Systems
This chapter is in the book Theory of Formal Systems
© 2016 Princeton University Press, Princeton

© 2016 Princeton University Press, Princeton

Chapters in this book

  1. Frontmatter i
  2. TABLE OF CONTENTS iii
  3. PREFACE vii
  4. ANNALS OF MATHEMATICS STUDIES xiv
  5. CHAPTER I: FORMAL MATHEMATICAL SYSTEMS 1
  6. CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY 19
  7. CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY 39
  8. CHAPTER IV: RECURSIVE FUNCTION THEORY 65
  9. CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY 93
  10. SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC 127
  11. REFERENCE AND BRIEF BIBLIOGRAPHY 141
https://doi.org/10.1515/9781400882007-002

Chapters in this book

  1. Frontmatter i
  2. TABLE OF CONTENTS iii
  3. PREFACE vii
  4. ANNALS OF MATHEMATICS STUDIES xiv
  5. CHAPTER I: FORMAL MATHEMATICAL SYSTEMS 1
  6. CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY 19
  7. CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY 39
  8. CHAPTER IV: RECURSIVE FUNCTION THEORY 65
  9. CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY 93
  10. SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC 127
  11. REFERENCE AND BRIEF BIBLIOGRAPHY 141
Sign up now to receive a 20% welcome discount
Institutional Access
How does access work?
Have an idea on how to improve our website?
Please write us.
© 2025 De Gruyter Brill
Downloaded on 28.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/9781400882007-002/html
Scroll to top button