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