西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
数理逻辑:基本原理与形式演算/李未著
版本说明:
第2版
出版发行项:
北京:科学出版社,2014
ISBN及定价:
978-7-03-040155-7 精装/CNY98.00
载体形态项:
xv, 289页;25cm
丛编项:
信息科学与技术基础丛书
个人责任者:
李未
学科主题:
数理逻辑
中图法分类号:
O141
一般附注:
中国科学院科学出版基金资助出版
书目附注:
有书目 (第271-273页) 和索引
提要文摘附注:
本书共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,歌德尔定理。后五章的内容是作者的研究心得,阐述了形式理论的版本序列及其极限,修正演算系统,过程模式及其性质等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O141/22=2 CN1417988  - 内阅图书     阅览
O141/22=2 CN1417989  - 未央馆     可借
O141/22=2 CN1417990  - 未央馆     可借
O141/22=2 CN1417991  - 未央馆     可借 未央馆
显示全部馆藏信息
借阅趋势

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