Skip to main content
Elsevier

Provability, Computability and Reflection

  • 1st Edition, Volume 32 - January 1, 1963
  • Latest edition
  • Author: Lev D. Beklemishev
  • Language: English

Purchase options

Sorry, this title is not available for purchase in your country/region.

Readership

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

Product details

  • Edition: 1
  • Latest edition
  • Volume: 32
  • Published: January 1, 1963
  • Language: English

About the author

LB

Lev D. Beklemishev

Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.