Recursion Theory for Metamathematics(Raymond M. Smullyan)

所需积分/C币:13 2010-04-14 13:23:49 7.23MB APPLICATION/PDF
15
收藏 收藏
举报

Recursion Theory for Metamathematics(Raymond M. Smullyan) 0 Prerequisites I Recursive Enumerability and Recursivity II Undecidability and Recursive Inseparability III Indexing IV Generative Sets and Creative Systems V Double Generativity and Complete Effective Inseparability VI Universal and Doubly Universal Systems VII Shepherdson Revisited VIII Recursion Theorems IX Symmetric and Double Recursion Theorems X Productivity and Double Productivity XI Three Special Topics XII Uniform Godelization

...展开详情
试读 127P Recursion Theory for Metamathematics(Raymond M. Smullyan)
立即下载 低至0.43元/次 身份认证VIP会员低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
关注 私信
上传资源赚钱or赚积分
最新推荐
Recursion Theory for Metamathematics(Raymond M. Smullyan) 13积分/C币 立即下载
1/127
Recursion Theory for Metamathematics(Raymond M. Smullyan)第1页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第2页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第3页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第4页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第5页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第6页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第7页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第8页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第9页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第10页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第11页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第12页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第13页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第14页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第15页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第16页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第17页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第18页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第19页
Recursion Theory for Metamathematics(Raymond M. Smullyan)第20页

试读结束, 可继续阅读

13积分/C币 立即下载 >