Theory of Formal Systems. (AM-47), Volume 47 / Raymond M. Smullyan.

Format:

Book

Author/Creator:

Smullyan, Raymond M., author.

Series:

Annals of mathematics studies ; no. 47.

Annals of Mathematics Studies ; 301

Language:

English

Subjects (All):

Recursive functions.

Metamathematics.

Physical Description:

1 online resource (157 pages) : illustrations.

Place of Publication:

Princeton, NJ : Princeton University Press, [2016]

Language Note:

In English.

Summary:

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.

Contents:

Frontmatter

TABLE OF CONTENTS

PREFACE

ANNALS OF MATHEMATICS STUDIES

CHAPTER I: FORMAL MATHEMATICAL SYSTEMS

CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY

CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY

CHAPTER IV: RECURSIVE FUNCTION THEORY

CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY

SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC

REFERENCE AND BRIEF BIBLIOGRAPHY

Notes:

"A revision of the author's recent doctoral dissertation--[Princeton]."

Includes bibliography.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 08. Jul 2019)

ISBN:

9781400882007

1400882001

OCLC:

979728674