| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Metamathematics.
,
检索到: 7 条结果,
检索时间: 0.019 秒
,
排序选项:
排序方式:
隐藏分类导航
- 余区图书保存本库 (4)
- 西院西文图书保存本库 (4)
- 南湖保存本图书借阅区 (2)
- 理学院资料室(南湖) (2)
馆藏地点
- metamathematics (4)
- 证明论 (2)
- algebra, abstract (1)
- fraenkel, abraham adolf, (1)
- mathematics (1)
- recursive functions (1)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
著者:
Bar-Hillel
Yehoshua.
出版社:
Magnes Press, Hebrew University; sole distributors (outside Israel): North-Holland Pub. Co., Amsterdam],
出版日期: 1962.
文献类型:
|
|
| 6. |
|
|
|
| 7. |
|
|