张清宇 共有5条记录 共耗时[0.000]秒
页码:1/1    每页显示:10 记录 跳转:
  • 正在加载图片,请稍后......

    逻辑哲学九章:张清宇

    作者:张清宇 出版社:江苏人民出版社 出版时间:2004 ISBN:7-214-03850-1
    索书号:B81-05/1233 分类号:B81-05 页数:479页 价格:25.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书的内容包括: 什么是逻辑哲学 ; 什么是逻辑 ; 否定 ; 蕴涵 ; 悖论 ; 二阶逻辑 ; 现代逻辑的多样化发展等。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    数理逻辑:张清宇, 刘新文,夏素敏

    作者:张清宇, 刘新文,夏素敏 出版社:中国社会科学出版社 出版时间:2010 ISBN:978-7-5004-8543-8
    索书号:O141/1233 分类号:O141 页数:128页 价格:24.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书介绍数理逻辑的基本内容,如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理,初步的模型论内容,集合论初步知识,哥德尔第二部完全性定理以及所需的递归论内容,等等。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    哲学逻辑:(美)罗·格勃尔(Lou Goble), 张清宇,陈慕泽

    作者:(美)罗·格勃尔(Lou Goble), 张清宇,陈慕泽 出版社:中国人民大学出版社 出版时间:2008 ISBN:978-7-300-08624-8
    索书号:B815/4742 分类号:B815 页数:629页 价格:79.80
    丛书:布莱克韦尔哲学指导丛书
    复本数: 在馆数:
    累借天数: 累借次数:
    本书系统地介绍了哲学逻辑的20个核心领域,包括经典逻辑、模态逻辑、相干逻辑等其他一些逻辑,并且严密地考察了关键的逻辑概念。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    哲学逻辑研究:张清宇,郭世铭,李小五

    作者:张清宇,郭世铭,李小五 出版社:社会科学文献出版社 出版时间:2007 ISBN:978-7-80230-399-7
    索书号:B815/1233 分类号:B815 页数:435页 价格:59.00
    丛书:中国社会科学院文库
    复本数: 在馆数:
    累借天数: 累借次数:
    本书共分9章,内容包括:一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、多值逻辑、相干逻辑、直觉主义逻辑、弗协调逻辑以及歌德尔不完全性定理。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    实在论,可判定性和过去:(法)法布里·帕陶特(Fabrice Pataut), 张清宇

    作者:(法)法布里·帕陶特(Fabrice Pataut), 张清宇 出版社:华夏出版社 出版时间:2001 ISBN:7-5080-2329-3
    索书号:B089/4672 分类号:B082 页数:180页 价格:12.00
    丛书:现代西方思想文库
    复本数: 在馆数:
    累借天数: 累借次数:
    本篇学位论文包括两个方面:“达米特的挑战”和“过去的实在性”。第一篇中对一般反实在论论证的描述集中在已有许多讨论的哥德巴赫猜想的情形;第二篇集中在过去的情形。
    详细信息
    索书号 展开
张清宇 共有5条记录 共耗时[0.000]秒
页码:1/1    每页显示:10 记录 跳转: