Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan.
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.
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2016] ©1961 |
| Year of Publication: | 2016 |
| Language: | English |
| Series: | Annals of Mathematics Studies ;
47 |
| Online Access: | |
| Physical Description: | 1 online resource (156 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Other title: | 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 |
|---|---|
| Summary: | 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. |
| Format: | Mode of access: Internet via World Wide Web. |
| ISBN: | 9781400882007 9783110494914 9783110442496 |
| DOI: | 10.1515/9781400882007 |
| Access: | restricted access |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Raymond M. Smullyan. |