全部
纸本图书
期刊
-
数理逻辑与机器证明
—陆钟万著
索书号：O141/00023
出版信息：科学出版社 1983 北京
-
数理逻辑与机器证明
—陆钟万著
索书号：O141/L781
出版信息：科学出版社 1983 北京
-
面向计算机科学的理论逻辑
—陆钟万著
索书号：O141/00032
出版信息：北京大学出版社 1989 北京
-
面向计算机科学的理论逻辑
—陆钟万著
索书号：O141/00036
出版信息：北京大学出版社 1989 北京
-
面向计算机科学的理论逻辑
—陆钟万著
索书号：O141/00038
出版信息：北京大学出版社 1989 北京
-
面向计算机科学的数理逻辑
—陆钟万著
索书号：
标准编码：7-03-009657-6
出版信息：科学出版社 2002 北京
-
数理逻辑基础下册
—胡世华,陆钟万同著
索书号：O141/00034/v.2
出版信息：科学出版社 1982 北京
-
数理逻辑基础上册
—胡世华,陆钟万著
索书号：O141/00033/v.1
出版信息：科学出版社 1981 北京
-
数理逻辑基础上册
—胡世华,陆钟万著
索书号：O141/00021/v.1
出版信息：科学出版社 1981 北京
-
数理逻辑基础下册
—胡世华,陆钟万同著
索书号：O141/00022/v.2
出版信息：科学出版社 1982 北京