Theory of Formal Systems

Raymond M. Smullyan (Autor)

Buch | Softcover

156 Seiten

1961
Princeton University Press (Verlag)
978-0-691-08047-5 (ISBN)

Lieferbar (Termin unbekannt)
Versandkostenfrei
Auch auf Rechnung

Artikel merken

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

Erscheint lt. Verlag	21.4.1961
Reihe/Serie	Annals of Mathematics Studies
Verlagsort	New Jersey
Sprache	englisch
Maße	152 x 229 mm
Gewicht	198 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-691-08047-X / 069108047X
ISBN-13	978-0-691-08047-5 / 9780691080475
Zustand	Neuware