Theory of Formal Systems
1st Edition
Published on 20. June 2016
156 pages
978-1-4008-8200-7 (ISBN)
Description
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.
More details
Other editions
Additional editions
Raymond M. Smullyan
Theory of Formal Systems
Book
04/1961
Princeton University Press
€69.20
Shipment within 10-20 days
Person
Raymond M. Smullyan
Content
Frontmatter, pg. i
TABLE OF CONTENTS, pg. iii
PREFACE, pg. vii
ANNALS OF MATHEMATICS STUDIES, pg. xiv
CHAPTER I: FORMAL MATHEMATICAL SYSTEMS, pg. 1
CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY, pg. 19
CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY, pg. 39
CHAPTER IV: RECURSIVE FUNCTION THEORY, pg. 65
CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY, pg. 93
SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC, pg. 127
REFERENCE AND BRIEF BIBLIOGRAPHY, pg. 141
TABLE OF CONTENTS, pg. iii
PREFACE, pg. vii
ANNALS OF MATHEMATICS STUDIES, pg. xiv
CHAPTER I: FORMAL MATHEMATICAL SYSTEMS, pg. 1
CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY, pg. 19
CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY, pg. 39
CHAPTER IV: RECURSIVE FUNCTION THEORY, pg. 65
CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY, pg. 93
SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC, pg. 127
REFERENCE AND BRIEF BIBLIOGRAPHY, pg. 141
