江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录



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

题名/责任者:
现代形式逻辑入门/王寅著
出版发行项:
重庆:重庆大学出版社,2023
ISBN及定价:
978-7-5689-3626-2/CNY79.00
载体形态项:
13, 253页;24cm
并列正题名:
Introduction to modern formal logic
个人责任者:
王寅 著
学科主题:
形式逻辑
中图法分类号:
B812
书目附注:
有书目 (第246-253页)
提要文摘附注:
本书共十二章, 内容包括: 经典形式逻辑简介、现代形式逻辑简介、谓词演算、命题演算、内涵逻辑、狭义模态逻辑、模态命题演算VS模态谓词演算、现代形式逻辑的利与弊等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 定位信息 书刊状态 还书位置
B812/203 A1963043   江汉大学图书馆     导航 在编 江汉大学图书馆
B812/203 A1963044   江汉大学图书馆     导航 在编 江汉大学图书馆
B812/203 A1963045   江汉大学图书馆     导航 在编 江汉大学图书馆
显示全部馆藏信息
借阅趋势

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