Recursion Theory for Metamathematics

By:

Raymond M Smullyan

Format:

Hardback

Series:

Oxford Logic Guides

Show Hide Adult Content

$653.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $163.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 11-21 June using International Courier

Description

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.

Release date Australia

July 15th, 1993

Author

Raymond M Smullyan

Audience

Professional & Vocational

Pages

178

Series

Oxford Logic Guides

Dimensions

160x242x18

ISBN-13

9780195082326

Product ID

2009393

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here