Provability, Computability and Reflection
View on ScienceDirect

Provability, Computability and Reflection

1st Edition - January 1, 1975

Write a review

  • Author: Lev Beklemishev
  • eBook ISBN: 9780080954912

Purchase options

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

Institutional Subscription

Support CenterReturns & Refunds
Free Global Shipping
No minimum order

Description

Readership

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

Product details

  • No. of pages: 367
  • Language: English
  • Copyright: © Elsevier Science 2000
  • Published: January 1, 1975
  • Imprint: Elsevier Science
  • eBook ISBN: 9780080954912

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"