Home Physical Sciences TABLE OF CONTENTS
Chapter Publicly Available

TABLE OF CONTENTS

  • Raymond M. Smullyan
Download chapter
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-toc

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 29.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/9781400882007-toc/html
Scroll to top button