Product details
ISBN
9780691080475
Published
1961-04-21
Publisher
Princeton University Press
Weight
198 gr
Height
229 mm
Width
152 mm
Age
P, U, 06, 05
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
156
Author
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.
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.
*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
Read more
Product details
ISBN
9780691080475
Published
1961-04-21
Publisher
Princeton University Press
Weight
198 gr
Height
229 mm
Width
152 mm
Age
P, U, 06, 05
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
156
Author