检索词: Heyting , 检索到: 5 条结果, 检索时间: 0.027 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

您是不是想检索:

保存至书单:

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

	1.		Axiomatic projective geometry / 订购中著者: Heyting A. 出版社: P. Noordhoff ; 出版日期: 1963. 文献类型: 图书 , 索书号: 51.53/H621 在馆信息图书信息概览图书目录
	2.		BCK代数与De Morgan等代数的关系研究订购中著者: 李兴宽出版社: 昆明理工大学出版日期: 2006.10 文献类型: 图书 , 索书号: G643.8:O1/7 在馆信息图书信息概览图书目录
	3.		Mathematical logic / 订购中著者: Petkov Petio Petrov. 出版社: Plenum Press, 出版日期: c1990. 文献类型: 图书 , 索书号: 51.39/P491 在馆信息图书信息概览图书目录
	4.		序与格论基础订购中著者: 姚卫，路玲霞编著出版社: 清华大学出版社出版日期: 2023.11 文献类型: 图书 , 索书号: O153.1/13 在馆信息图书信息概览图书目录
	5.		格论导引已借4次. 订购中著者: 方捷出版社: 高等教育出版社出版日期: 2014 文献类型: 图书 , 索书号: O153.1/11 在馆信息图书信息概览图书目录

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