Provability, Computability and Reflection
| Author | : Lev D. Beklemishev |
| Publisher | : Elsevier |
| Total Pages | : 675 |
| Release | : 2000-04-01 |
| ISBN-10 | : 9780080957531 |
| ISBN-13 | : 0080957536 |
| Rating | : 4/5 (31 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 675 pages. Available in PDF, EPUB and Kindle. Book excerpt: Provability, Computability and Reflection