支付方式:支付宝,网站没有的书请联系微信:hd2014002

【电子书】Computability and Logic 5th Edition by George S. Boolos, Richard C. Jeffrey, John P. Burgess(pdf)

【电子书】Computability and Logic 5th Edition by George S. Boolos,  Richard C. Jeffrey, John P. Burgess(pdf) 【电子书】Computability and Logic 5th Edition by George S. Boolos,  Richard C. Jeffrey, John P. Burgess(pdf)


Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.


购买和发货:
1.需要注册登录后方可购买。
2.购买后自动发送百度网盘链接到您的邮箱或在历史订单中查看下载链接。
3.无特殊说明,epub,mobi(kindle用),pdf三种格式都会提供。
4.音频为全文朗读有声书,mp3格式。

电子书只有PDF格式


购买

  • 您还没有选择任何商品哦。

【电子书】Computability and Logic 5th Edition by George S. Boolos, Richard C. Jeffrey, John P. Burgess(pdf):等您坐沙发呢!

发表评论

您必须 [ 登录 ] 才能发表留言!