Recursion theory for metamathematics - Info and Reading Options
By Raymond M. Smullyan
"Recursion theory for metamathematics" was published by Oxford University Press in 1993 - New York, it has 163 pages and the language of the book is English.
“Recursion theory for metamathematics” Metadata:
- Title: ➤ Recursion theory for metamathematics
- Author: Raymond M. Smullyan
- Language: English
- Number of Pages: 163
- Publisher: Oxford University Press
- Publish Date: 1993
- Publish Location: New York
“Recursion theory for metamathematics” Subjects and Themes:
- Subjects: Recursion theory - Récursivité, Théorie de la
Edition Specifications:
- Pagination: xiv, 163 p. ;
Edition Identifiers:
- The Open Library ID: OL1735523M - OL1867020W
- Online Computer Library Center (OCLC) ID: 26974961
- Library of Congress Control Number (LCCN): 92040495
- ISBN-10: 019508232X
- All ISBNs: 019508232X
AI-generated Review of “Recursion theory for metamathematics”:
"Recursion theory for metamathematics" Description:
The Open Library:
"This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book 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"--Publisher's description.
Read “Recursion theory for metamathematics”:
Read “Recursion theory for metamathematics” by choosing from the options below.
Search for “Recursion theory for metamathematics” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Recursion theory for metamathematics” in Libraries Near You:
Read or borrow “Recursion theory for metamathematics” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Recursion theory for metamathematics” at a library near you.
Buy “Recursion theory for metamathematics” online:
Shop for “Recursion theory for metamathematics” on popular online marketplaces.
- Ebay: New and used books.