Skip to main content
Elsevier

Provability, Computability and Reflection

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

Purchase options

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

End of Summer Sale

Save up to 30% off

Bright savings for research, study, and discovery

Shop the summer sale

Readership

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

Product details

  • Edition: 1
  • Latest edition
  • Volume: 17
  • Published: January 1, 1956
  • Language: English

About the author

LB

Lev D. Beklemishev

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

View book on ScienceDirect

Read Provability, Computability and Reflection on ScienceDirect