Theory of Formal Systems

by Raymond M. Smullyan

Overview

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.

Product Details

ISBN-13:	9780691080475
Publisher:	Princeton University Press
Publication date:	04/21/1961
Series:	Annals of Mathematics Studies , #47
Pages:	156
Product dimensions:	6.00(w) x 9.00(h) x (d)

Table of Contents

• 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