Provability, Computability and Reflection

Provability, Computability and Reflection

1st Edition - April 1, 2000

Write a review

  • Author: Lev Beklemishev
  • eBook ISBN: 9780080957364

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: 112
  • Language: English
  • Copyright: © Elsevier Science 2000
  • Published: April 1, 2000
  • Imprint: Elsevier Science
  • eBook ISBN: 9780080957364

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"