Provability, Computability and Reflection |
|
Author:
| Beklemishev, Lev D. |
Series title: | Issn Ser. |
ISBN: | 978-0-08-095486-8 |
Publication Date: | Apr 2000 |
Publisher: | Elsevier Science & Technology Books
|
Book Format: | Ebook |
List Price: | USD $275.00USD $330.00 |
Book Description:
|
Provability, Computability and Reflection
Provability, Computability and Reflection