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