MARC状态:审校 文献类型:中文图书 浏览次数:96
- 题名/责任者:
- 数理逻辑教程/John L. Bell, Moshe Machover
- 版本说明:
- 影印版
- 出版发行项:
- 北京:世界图书出版公司北京公司,2015
- ISBN及定价:
- 978-7-5100-8630-4/CNY98.00
- 载体形态项:
- xviii, 599页;23cm
- 并列正题名:
- Course in mathematical logic
- 个人责任者:
- 贝尔 (Bell, John L. ) 著
- 个人责任者:
- 马霍维奇 (Machover, Moshe) 著
- 学科主题:
- 数理逻辑-教材-英文
- 中图法分类号:
- O141
- 题名责任附注:
- 题名及责任者取自版权页
- 版本附注:
- 本书英文影印版由Elsevier (Singapore) Pte Ltd.授权世界图书出版公司北京公司在中国大陆境内独家发行
- 责任者附注:
- 责任者Bell规范汉译姓: 贝尔 ; 责任者Machover规范汉译姓: 马霍维奇
- 书目附注:
- 有书目 (第576-583页) 和索引
- 提要文摘附注:
- 本书内容包括:预备知识;数学逻辑基础;一阶逻辑;一阶逻辑(连续的);布尔代数;模理论;递归理论(连续的);直觉一阶逻辑;公理集合论;非标准分析;一般索引;符号索引。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O141/720 | 72129143 | - | 自然科学第二书库(7F) | 可借 | 现代技术部(1F) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到: 管理书架