Provability, Computability and Reflection
View on ScienceDirect

Provability, Computability and Reflection

1st Edition - April 1, 2000

Write a review

  • Author: Lev Beklemishev
  • eBook ISBN: 9780080957401

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

Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

Readership

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

Product details

  • No. of pages: 189
  • Language: English
  • Copyright: © Elsevier Science 2000
  • Published: April 1, 2000
  • Imprint: Elsevier Science
  • eBook ISBN: 9780080957401

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"