检索词: Proof theory. , 检索到: 7 条结果, 检索时间: 0.019 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.		Proof theory 订购中著者: Gaisi Takeuti 出版社: 出版日期: 1987 文献类型: 图书 , 索书号: O141.2/T136 在馆信息图书信息概览图书目录
	2.		Set theory :: an introduction to independence proofs / 订购中著者: Kunen Kenneth. 出版社: North-Holland Pub. Co. ; 出版日期: 1980. 文献类型: 图书 , 索书号: 51.38/K96 在馆信息图书信息概览图书目录
	3.		证明责任重述订购中著者: 胡学军著出版社: 法律出版社出版日期: 2024.01 文献类型: 图书 , 索书号: D915.130.4/40 在馆信息图书信息概览图书目录
	4.		证明责任的法理与技术已借1次. 订购中著者: 霍海红出版社: 北京大学出版社出版日期: 2018.01 文献类型: 图书 , 索书号: D925.113.4/21 在馆信息图书信息概览图书目录
	5.		Compositionality, concurrency, and partial correctness :: proof theories for networks of processes and their relationship / 订购中著者: Zwiers J. 出版社: Springer-Verlag ; 出版日期: c1989. 文献类型: 图书 , 索书号: 73.87054/L471 在馆信息图书信息概览图书目录
	6.		证明评价原理：兼及对民事诉讼方法论的探讨已借1次. 订购中著者: 段厚省张峰出版社: 法律出版社出版日期: 2011.8 文献类型: 图书 , 索书号: D915.130.4/7 在馆信息图书信息概览图书目录
	7.		系统科学视角下再析“修昔底德陷阱”的理论依据：中国国际关系理论建设的新思路订购中著者: 江奕延出版社: 中国政法大学出版社出版日期: 2016.11 文献类型: 图书 , 索书号: D822/43 在馆信息图书信息概览图书目录

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved