Provability, Computability and Reflection

Provability, Computability and Reflection

1st Edition - January 1, 1972

Write a review

  • Author: Lev Beklemishev
  • eBook ISBN: 9780080954776

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order

Description

Readership

Students and researchers in Logic (Mathematics, Computer Science, Philosophy).

Product details

  • No. of pages: 519
  • Language: English
  • Copyright: © Elsevier Science 2000
  • Published: January 1, 1972
  • Imprint: Elsevier Science
  • eBook ISBN: 9780080954776

About the Author

Lev Beklemishev

Affiliations and Expertise

Steklov Institute of Mathematics, Moscow and Utrecht University.

Ratings and Reviews

Write a review

There are currently no reviews for "Provability, Computability and Reflection"