Provability, Computability and Reflection
Download or Read eBook Provability, Computability and Reflection PDF written by Lev D. Beklemishev and published by Elsevier. This book was released on 2000-04-01 with total page 147 pages. Available in PDF, EPUB and Kindle.
Author | : Lev D. Beklemishev |
Publisher | : Elsevier |
Total Pages | : 147 |
Release | : 2000-04-01 |
ISBN-10 | : 9780080957494 |
ISBN-13 | : 0080957498 |
Rating | : 4/5 (94 Downloads) |
Book Synopsis Provability, Computability and Reflection by : Lev D. Beklemishev
Book excerpt: Provability, Computability and Reflection