登入選單
返回Google圖書搜尋
Sentences Undecidable in Formalized Arithmetic
Lev D. Beklemishev
出版Elsevier, 2000-04-01
主題Computers / Information TheoryMathematics / General
ISBN00809573079780080957302
URLhttp://books.google.com.hk/books?id=vOk4K9ZJvugC&hl=&source=gbs_api
EBookSAMPLE
註釋Sentences Undecidable in Formalized Arithmetic