MARC状态：已编 文献类型：西文图书 浏览次数：13
- 题名/责任者:
- Введение в математическую логику / А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского.
- 出版发行项:
- М. : Изд-во Иностранной лит., 1960-
- 载体形态项:
- т. ; 23 см.
- 统一题名:
- Introduction to mathematical logic. Russian
- 个人责任者:
- Чёрч, А.
- 附加个人名称:
- Чернявский, В. С.
- 附加个人名称:
- Успенский, В. А.
- 非控制主题:
- Алгебра высшая.
- 中图法分类号:
- O141
- 中图法分类号:
- P
- 一般附注:
- Перевод изд.: Introduction to mathematical logic. V. 1 / by Alonzo Church. Princeton : Princeton University Press, 1956.
- 一般附注:
- Незак. содерж.: Т. 1. 1960. 484 с.
- 一般附注:
- Указ.: с. 461-481.
- 随书光盘:
全部MARC细节信息>>
不定馆藏地