MARC状态：已编 文献类型：西文图书 浏览次数：18
- 题名/责任者:
- Aspects of incompleteness / Per Lindstr枚m.
- 出版发行项:
- Cambridge, England : Association for Symbolic Logic under license to Cambridge University Press, [2016]
- ISBN:
- 9781316731543
- ISBN:
- 9781107167926
- 载体形态项:
- 1 online resource (x, 132 pages)
- 丛编说明:
- Lecture notes in logic ; 10
- 个人责任者:
- Lindstr枚m, Per, 1936-2009.
- 论题主题:
- Incompleteness theorems.
- 论题主题:
- Recursion theory.
- 中图法分类号:
- O141.3
- 一般附注:
- First edition: Springer-Verlag Berlin Heidelberg, c1997.
- 一般附注:
- Description based on print version record.
- 书目附注:
- Includes bibliographical references (pages 123-129) and index.
- 随书光盘:
全部MARC细节信息>>