Provability, Computability and Reflection
| Author | : Lev D. Beklemishev |
| Publisher | : Elsevier |
| Total Pages | : 201 |
| Release | : 2000-04-01 |
| ISBN-10 | : 9780080957401 |
| ISBN-13 | : 0080957404 |
| Rating | : 4/5 (01 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 201 pages. Available in PDF, EPUB and Kindle. Book excerpt: Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.
