登入選單
返回Google圖書搜尋
Provability, Computability and Reflection
Lev D. Beklemishev
出版Elsevier, 2000-04-01
主題Computers / Information TheoryMathematics / General
ISBN00809574989780080957494
URLhttp://books.google.com.hk/books?id=S5Ui0B5pcNEC&hl=&source=gbs_api
EBookSAMPLE
註釋Provability, Computability and Reflection