书目详细信息
： Formal systems and recursive functions, proceedings of the eighth logic colloquium
书目信息 机读格式(MARC)
| ISBN/价格： | RMB2.20 |
|---|---|
| 作品语种： | eng |
| 题名责任者项： | Formal systems and recursive functions, proceedings of the eighth logic colloquium/.Crossley J N |
| 出版发行项： | 1965 |
| 载体形态项： | 320p |
| 个人名称等同： | Crossley J N 著 |
| 记录来源： | CN 200703 |