大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 陆钟万 的图书(共5本)

面向计算机科学的数理逻辑 mian xiang ji suan ji ke xue de shu li luo ji

6.6
索取号：627781
作者：陆钟万、
出版社：北京 : 科学出版社, 2002

面向计算机科学的数理逻辑

0
索取号：O14/981
作者：陆钟万、
出版社：北京 : 科学出版社, 1998

数理逻辑与机器证明

0
索取号：057199
作者：陆钟万、
出版社：北京 : 科学出版社, 1983

数理逻辑基础. 下册

0
索取号：O141/812/2
作者：胡世华、陆钟万、
出版社：北京 : 科学出版社, 1981～1982

数理逻辑基础. 上册

0
索取号：O141/812/1
作者：胡世华、陆钟万、
出版社：北京 : 科学出版社, 1981～1982