Theory of Formal Systems
Published on 21. April 1961
Book
Paperback/Softback
156 pages
978-0-691-08047-5 (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
Series
Language
English
Place of publication
New Jersey
United States
Target group
Professional and scholarly
College/higher education
Product notice
Paperback (trade)
Dimensions
Height: 229 mm
Width: 152 mm
Thickness: 9 mm
Weight
240 gr
ISBN-13
978-0-691-08047-5 (9780691080475)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Raymond M. Smullyan
Theory of Formal Systems
E-Book
06/2016
1st Edition
Princeton University Press
€88.49
Available for download
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