| 暂存书架(0) | 登录

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

题名/责任者:
数理逻辑引论/朱梧槚 ... [等] 编著
版本说明:
第2版
出版发行项:
大连:大连理工大学出版社,2023
ISBN及定价:
978-7-5685-4035-3/CNY69.00
载体形态项:
263页:图;24cm
并列正题名:
Introduction to mathematical logic
个人责任者:
朱梧槚, 1933- 编著
学科主题:
数理逻辑
中图法分类号:
O141
书目附注:
有书目 (第 [231] -232页)
提要文摘附注:
本书涵盖了命题与命题联结词、命题逻辑演算、谓词与量词、谓词逻辑演算等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141/44(2) 01392175   总馆      可借
O141/44(2) 01392176   总馆      可借
显示全部馆藏信息
借阅趋势

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