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