MARC状态:审校 文献类型:西文图书 浏览次数:46
- 题名/责任者:
- A course in mathematical logic / J.L. Bell, M. Machover.
- 出版发行项:
- 北京 : 世界图书出版公司, 2015.
- ISBN:
- 9787510086304
- 载体形态项:
- xviii, 599 p. : ill. ; 23cm.
- 变异题名:
- 数理逻辑教程
- 丛编说明:
- 经典数学丛书(影印版)
- 个人责任者:
- Bell, J.L.
- 附加个人名称:
- Machover, M.
- 论题主题:
- Mathematical logic.
- 中图法分类号:
- O141
- 一般附注:
- Cover parallel titles.
- 书目附注:
- Includes bibliographical references (p. 576-583) and index.
- 摘要附注:
- This is a study of mathematical logic and the basis of the graduate students or high grade undergraduate tutorial, do not need any relevant logic of the preparatory knowledge, is the most comprehensive learning mathematics logic teaching materials, including many exercises and answer tips, constitute the essential part of this book, very suitable for self-study. Each chapter is divided into many sections, some special sections and issues with an asterisk stressed that this is not so much to express these difficulty increase, but the place is very easily overlooked, so reading need to pay particular attention to. Contents: preliminary knowledge; fundamentals of mathematical logic; first-order logic; first-order logic (continuous); Boolean algebra; theoretical model; recursion theory (continuous); intuitionistic first-order logic; axiomatic set theory; non standard analysis; index; index of symbols.
全部MARC细节信息>>