Goodreads helps you keep track of books you want to read.
Start by marking “Recursion Theory for Metamathematics” as Want to Read:
Recursion Theory for Metamathematics
Enlarge cover
Rate this book
Clear rating
Open Preview

Recursion Theory for Metamathematics

really liked it 4.0  ·  Rating Details ·  1 Rating  ·  0 Reviews
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 ...more
Hardcover, 184 pages
Published January 28th 1993 by Oxford University Press, USA
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Recursion Theory for Metamathematics, please sign up.

Be the first to ask a question about Recursion Theory for Metamathematics

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-22)
filter  |  sort: default (?)  |  Rating Details
Hervizinve
Hervizinve rated it really liked it
Mar 26, 2014
Alex
Alex marked it as to-read
Dec 24, 2009
V
V added it
Aug 17, 2010
Swarner
Swarner marked it as to-read
Jan 07, 2011
Paul
Paul added it
Aug 01, 2012
Vijay Veeraraghavan
Vijay Veeraraghavan marked it as to-read
Oct 07, 2014
David
David marked it as to-read
Dec 10, 2012
Razekir
Razekir marked it as to-read
Dec 19, 2012
Martisch
Martisch marked it as to-read
Feb 03, 2013
Nitami
Nitami marked it as to-read
Mar 14, 2013
Lynn Tsai
Lynn Tsai marked it as to-read
Jun 05, 2013
Ashwani Pandey
Ashwani Pandey marked it as to-read
Feb 04, 2014
Nathan
Nathan marked it as to-read
May 03, 2014
Ed Ayers
Ed Ayers marked it as to-read
Sep 15, 2014
Telorian
Telorian marked it as to-read
Feb 10, 2015
Brandon Hopkins
Brandon Hopkins marked it as to-read
Oct 25, 2015
Dale
Dale marked it as to-read
Jan 01, 2016
Lf Antrider
Lf Antrider marked it as to-read
Jan 06, 2016
De La
De La marked it as to-read
Mar 13, 2016
There are no discussion topics on this book yet. Be the first to start one »
951363
Raymond M. Smullyan is a logician, musician, Zen master, puzzle master, and writer.
More about Raymond M. Smullyan...

Share This Book