![]() |
|
| 名称 | 递归论 |
| 索引号 | O141.3/1 |
| 分类号 | O141.3 O141.3(递归论(递归函数,能行性理论)) O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学) |
| 作者 | 莫绍揆、 |
| 出版社 | 北京:科学出版社,1997 |
| ISBN | 7-03-000050-1 |
| 页数 | 308页 |
| 价格 | CNY18.00 |
| 标签 | 递归论、数学、数理逻辑、计算理论、递归、莫绍揆、计算机科学、field逻辑学、 |
| 简介 | 现代数学基础丛书 |
| 注解 | |
![]() |
|
| 名称 | 递归论 |
| 索引号 | O141.3/1 |
| 分类号 | O141.3 O141.3(递归论(递归函数,能行性理论)) O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学) |
| 作者 | 莫绍揆、 |
| 出版社 | 北京:科学出版社,1997 |
| ISBN | 7-03-000050-1 |
| 页数 | 308页 |
| 价格 | CNY18.00 |
| 标签 | 递归论、数学、数理逻辑、计算理论、递归、莫绍揆、计算机科学、field逻辑学、 |
| 简介 | 现代数学基础丛书 |
| 注解 | |
粤公网安备 44030602003680号