OL33429273M
Provability, Computability and Reflection
Lev D. Beklemishev
- Publisher
- Elsevier Science & Technology Books
- Published
- 2000
- ISBN-13
- 9780080957524
- ISBN-10
- Unavailable
- Work ID
- OL25110120W
Description
Metadata and publication details for Provability, Computability and Reflection by Lev D. Beklemishev.