ENGLISH

Theory of formal systems

By Smullyan , Raymond Merrill

Book information

Publisher
Princeton University Press
Year
1996
ISBN
9780691080475, 069108047X
Language
english
Format
PDF
Filesize
7 MB (7458604 bytes)
Series
Annals of mathematics studies 47.
Edition
5th pr.
Pages
142\157
Time added
2019-03-23 10:06:11
Systeemtheorie;Formele logica

Description

*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

Similar books