MARC状态：审校 文献类型：西文图书 浏览次数：15
- 题名/责任者:
- Introduction to mathematical logic and resolution principle = 数理逻辑引论与归结原理 / Guo-jun Wang, Hong-jun Zhou.
- 版本说明:
- 2nd ed.
- 出版发行项:
- Beijing : Science Press, c2009.
- ISBN:
- 9787030228994 (Beijing)
- ISBN:
- 9781842655665 (Alpha Science International Ltd, Oxford)
- 载体形态项:
- v, 335 p. ; 25 cm.
- 变异题名:
- Chinese title on the cover: 数理逻辑引论与归结原理
- 丛编说明:
- Mathematics monograph series ; 13
- 个人责任者:
- Wang, Guojun.
- 附加个人名称:
- Zhou, Hongjun.
- 中图法分类号:
- O141
- 书目附注:
- Includes bibliographical references and index.
全部MARC细节信息>>