Order History
Premium Membership & Rewards
Help Center / FAQ
Recursion Theory for Metamathematics
eBook
$169.99
Earn 5X Rewards 1/1 - 12/31In stock
Buy this eBook as a gift for someone else
Buy this eBook as a gift for someone else
Personalize your gift
Pick up in store
Your local store may have stock of this item.
Your local store may have stock of this item.
Available on compatible , the free NOOK App, and in My Digital Library
NOOK App
Open NOOK app
Download NOOK app
NOOK Devices
- NOOK GlowLight 4 Plus
- NOOK GlowLight 4e
- NOOK GlowLight 4
- NOOK GlowLight Plus 7.8
- NOOK GlowLight 3
- NOOK GlowLight Plus 6
- NOOK 9" Lenovo Tablet (Arctic Grey and Frost Blue)
- NOOK 10" HD Lenovo Tablet
- NOOK Tablet 7" & 10.1
- NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
- NOOK by Samsung [Tab 4 10.1, S2 & E]
- NOOK for iOS
- NOOK for Android
BN.com website
Go to your Digital Library in My Account
Limit 1 per customer
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 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.
More in This Series
Godel's Incompleteness Theorems
#19 in Series
eBook
$249.99
Godel's Incompleteness Theorems
#19 in Series
eBook
$249.99
Godel's Incompleteness Theorems
#19 in Series
Hardcover
$255.00
Twenty Five Years of Constructive Type Theory
#36 in Series
eBook
$92.99
Set Theory: Boolean-Valued Models and Independence Proofs
#47 in Series
eBook
$54.99
Computability and Randomness
#51 in Series
eBook
$44.99