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. |