| 名称 | Computability : a mathematical sketchbook | |
| 索引号 | O141.3/E991 | |
| 分类号 | O141.3 O141.3(递归论(递归函数,能行性理论)) O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学) |
|
| 作者 | ||
| 出版社 | New York : Springer-Verlag, c1994. | |
| ISBN | ||
| 页数 | ix, 178 p. : ill. ; 25 cm. | |
| 价格 | ||
| 标签 | ||
| 简介 | ||
| 注解 | Includes bibliographical references (p. [173]-175) and index. | |










粤公网安备 44030602003680号