返回检索首页
正在加载图片，请稍后......

现代逻辑在法律中的应用/(奥) 伊尔玛·塔麦洛, 李振江, 张传新, 柴盼盼

  • 附件:
    • 附注提要
    本书内容包括: 命题演算系统; 谓词演算系统; 证明逻辑有效性和可靠性方法; 作为判定程序的反公式方法; 法律语言的逻辑结构; 司法推理的逻辑检验等。
    (0)|| (0)

    手机二维条形码

    馆藏信息
    序号 索书号 条码号 订户 馆藏地点 馆藏状态 借出日期 还回日期 流通类型 预约处理 卷册说明 登录号
    1 D90-051/31 A0977673 HDFT 嘉鱼分馆 入藏 外借图书 0
    2 D90-051/31 A0977672 HDFT 总馆 入藏 外借图书 0
    3 D90-051/31 A0977671 HDFT 总馆 入藏 外借图书 0