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