Produktdetaljer
ISBN
9780691080475
Publisert
1961-04-21
Utgiver
Princeton University Press
Vekt
198 gr
Høyde
229 mm
Bredde
152 mm
Aldersnivå
P, U, 06, 05
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
156
Forfatter
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
Les mer
Produktdetaljer
ISBN
9780691080475
Publisert
1961-04-21
Utgiver
Princeton University Press
Vekt
198 gr
Høyde
229 mm
Bredde
152 mm
Aldersnivå
P, U, 06, 05
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
156
Forfatter