MARC状态:已编 文献类型:西文图书 浏览次数:61
- 题名/责任者:
- Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / Andrzej Mostowski.
- 出版发行项:
- Amsterdam : North-Holland Pub. Co., 1952.
- 载体形态项:
- 117 p. ; 23 cm.
- 个人责任者:
- Mostowski, Andrzej.
- 论题主题:
- Godel's theorem.
- 论题主题:
- Semantics (Philosophy)
- 中图法分类号:
- O143
- 中图法分类号:
- O1-0
- 书目附注:
- Includes bibliographical references.
- 随书光盘:
全部MARC细节信息>>