浙江药科职业大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态：审校 文献类型：中文图书 浏览次数：6

题名/责任者:
简明数理逻辑/赵希顺编著
出版发行项:
北京:科学出版社,2021
ISBN及定价:
978-7-03-070225-8/CNY89.00
载体形态项:
256页;24cm
个人责任者:
赵希顺 编著
学科主题:
数理逻辑-高等学校-教材
中图法分类号:
O141
一般附注:
高等学校逻辑学专业系列教材
提要文摘附注:
本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识，然后介绍了集合论，详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理，最后介绍了模型论的基础知识和方法。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 所在方位 书刊状态 还书位置
O141/25 728993 2021  奉化馆流通区(可借)     定位 可借 奉化馆流通区(可借)
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名：
密码：
验证码：
请输入下面显示的内容
  证件号 条码号 Email
 
姓名：
手机号：
送 书 地：
收藏到： 管理书架