Recursion theory for metamathematics / Raymond M. Smullyan.

Format:

Book

Author/Creator:

Smullyan, Raymond M., author.

Series:

Oxford logic guides ; 22.

Oxford logic guides ; 22

Language:

English

Subjects (All):

Recursion theory.

Physical Description:

1 online resource (184 pages).

Place of Publication:

New York : Oxford University Press, 2020.

System Details:

text file

Summary:

This work is a sequel to the author's 'Gödel's Incompleteness Theorems', though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The text deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

Notes:

Previously issued in print: 1993.

Includes bibliographical references and index.

Description based on print version record and publisher information

Other Format:

Print version

ISBN:

9780197560426

0197560423

OCLC:

1222774588

Access Restriction:

Restricted for use by site license.