Provability, Computability and Reflection
- 1st Edition, Volume 13 - October 30, 2011
- Author: Lev D. Beklemishev
- Language: English
- Paperback ISBN:9 7 8 - 0 - 4 4 4 - 5 5 4 4 7 - 5
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 9 5 7 3 3 - 3
Students and researchers in Logic (Mathematics, Computer Science, Philosophy).
- Edition: 1
- Volume: 13
- Published: October 30, 2011
- Language: English
LB
Lev D. Beklemishev
Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.Read Provability, Computability and Reflection on ScienceDirect