-
中文图书1.多值逻辑的方法和理论:非正规多值逻辑研究 O141.3/H98
馆藏复本:3
可借复本:3 霍书全著
科学出版社 2009
(0) 馆藏 -
中文图书2.递归可枚举集和图灵度:可计算函数与可计算生成集研究 O141.3/S97
馆藏复本:4
可借复本:4 Robert I. Soare[著]
科学出版社 2007
(0) 馆藏
馆藏复本:3
可借复本:3 霍书全著
科学出版社 2009
(0) 馆藏
馆藏复本:4
可借复本:4 Robert I. Soare[著]
科学出版社 2007
(0) 馆藏