书籍列表

数理逻辑 封面
数理逻辑

作者：莫绍揆等著
可计算性理论 封面
可计算性理论

作者：莫绍揆，王元元著
逻辑代数和电子计算机简介 封面
逻辑代数和电子计算机简介

作者：莫绍揆，汪灵华著
递归函数论 封面
递归函数论

作者：培特（R.Peter）著；莫绍揆译
数学名著译丛 元数学导论 上 封面
数学名著译丛 元数学导论 上

作者：（美）克林（S.C.Kleene）...
元数学导论 下 封面
元数学导论 下

作者：（美）克林（Kleene，S.C....
数理逻辑基础 封面
数理逻辑基础

作者：（德）希尔柏脱（D.Hilbert...
形式语言及其与自动机的关系 封面
形式语言及其与自动机的关系

作者：（美）霍普克罗夫特（J.E.Hop...
返回首页