返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
西方法哲学文库
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
作者:"(奥) 伊尔玛·塔麦洛, 李振江, 张传新, 柴盼盼"
现代逻辑在法律中的应用
:(奥) 伊尔玛·塔麦洛, 李振江, 张传新, 柴盼盼
作者：
(奥) 伊尔玛·塔麦洛, 李振江, 张传新, 柴盼盼
出版社：
中国法制出版社
出版时间：
20120101
ISBN：
978-7-5093-3607-6
索书号：
D90-051/31
分类号：
D90-051
页数：
181页
价格：
CNY20.00
丛书：
西方法哲学文库
复本数：
在馆数：
累借天数：
累借次数：
本书内容包括: 命题演算系统; 谓词演算系统; 证明逻辑有效性和可靠性方法; 作为判定程序的反公式方法; 法律语言的逻辑结构; 司法推理的逻辑检验等。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
中国法制出版社
(
1
)
只显示前10条......
中国法制出版社
(
1
)
查看更多信息......
作者
(奥) 伊尔玛·塔麦洛, 李振江, 张传新, 柴盼盼
(
1
)
只显示前10条......
(奥) 伊尔玛·塔麦洛, 李振江, 张传新, 柴盼盼
(
1
)
查看更多信息......
出版年
20120101
(
1
)
只显示前10条......
20120101
(
1
)
查看更多信息......
西方法哲学文库
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：