Provability, Computability and Reflection
- 1st Edition, Volume 30 - January 1, 1962
- Latest edition
- Author: Lev D. Beklemishev
- Language: English
Students and researchers in Logic (Mathematics, Computer Science, Philosophy).
- Edition: 1
- Latest edition
- Volume: 30
- Published: January 1, 1962
- Language: English
LB
Lev D. Beklemishev
Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.Read Provability, Computability and Reflection on ScienceDirect