Provability, Computability and Reflection
- 1st Edition, Volume 20 - October 29, 2011
- Author: Lev D. Beklemishev
- Language: English
- Paperback ISBN:9 7 8 - 0 - 4 4 4 - 5 5 4 5 4 - 3
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 9 5 7 4 0 - 1
Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its… Read more
Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.
Students and researchers in Logic (Mathematics, Computer Science, Philosophy).
- Edition: 1
- Volume: 20
- Published: October 29, 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