Home > Science & Mathematics > Mathematics > Mathematical foundations > Set theory > Recursion Theory for Metamathematics
About the Book

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.

Best Sellers

Product Details
  • ISBN-13: 9780195082326
  • Publisher: Oxford University Press, USA
  • Publisher Imprint: Oxford University Press, USA
  • Height: 234 mm
  • No of Pages: 184
  • Series Title: Oxford Logic Guides
  • Weight: 431 gr
  • ISBN-10: 019508232X
  • Publisher Date: 28 Jan 1993
  • Binding: Hardback
  • Language: English
  • Returnable: N
  • Spine Width: 11 mm
  • Width: 156 mm

Similar Products

Write A Review
Write your own book review for Recursion Theory for Metamathematics
  • Gray Star
  • Gray Star
  • Gray Star
  • Gray Star
  • Gray Star



Top Reviews
Be the first to write a review on this book Recursion Theory for Metamathematics

New Arrivals

Inspired by your browsing history