书籍列表

数理逻辑与机器证明 封面
数理逻辑与机器证明

作者：陆钟万著
面向计算机科学的数理逻辑 封面
面向计算机科学的数理逻辑

作者：陆钟万著
面向计算机科学的数理逻辑 封面
面向计算机科学的数理逻辑

作者：陆钟万著
面向计算机科学的数理逻辑 封面
面向计算机科学的数理逻辑

作者：陆钟万著
数理逻辑基础 下 封面
数理逻辑基础 下

作者：胡世华，陆钟万
数理逻辑基础 （上册） 封面
数理逻辑基础 （上册）

作者：胡世华 陆钟万
数理逻辑基础 上 封面
数理逻辑基础 上

作者：胡世华，陆钟万
数理逻辑基础 上 封面
数理逻辑基础 上

作者：胡世华，陆钟万著
现代数学基础丛书 数理逻辑基础 上 封面
现代数学基础丛书 数理逻辑基础 上

作者：胡世华，陆钟万著
数理逻辑基础 下 封面
数理逻辑基础 下

作者：胡世华，陆钟万著
初等代数和几何的判定法 封面
初等代数和几何的判定法

作者：（英）A.塔尔斯基（Tarsdi，...
返回首页