登入選單
返回Google圖書搜尋
The Gödel Incompleteness Theorem and Decidability Over a Ring
Lenore BlumSteve Smale
出版International Computer Science Institute, 1990
URLhttp://books.google.com.hk/books?id=yG3utgAACAAJ&hl=&source=gbs_api