Skip to main content
PBS logo
 
 

Search - Recursion Theory for Metamathematics (Oxford Logic Guides)

Recursion Theory for Metamathematics (Oxford Logic Guides)
Recursion Theory for Metamathematics - Oxford Logic Guides
Author: Raymond M. Smullyan
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. ...  more »
ISBN-13: 9780195082326
ISBN-10: 019508232X
Publication Date: 1/28/1993
Pages: 184
Rating:
  ?
0 stars, based on 0 rating
Publisher: Oxford University Press, USA
Book Type: Hardcover
Members Wishing: 1
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.