登入選單
返回Google圖書搜尋
The Foundations of Intuitionistic Mathematics
其他書名
Especially in Relation to Recursive Functions
出版North-Holland Publishing Company, 1965
URLhttp://books.google.com.hk/books?id=CrpLAAAAMAAJ&hl=&source=gbs_api