（英）贝斯特（Best 相关电子书下载

朱迪·斯特劳斯，雷蒙德·弗罗斯特著；时启亮，孙相云，刘芯愈译2010 年出版430 页ISBN：

（法）安托万·普罗斯特著；王春华译；（阿根廷）石保罗校2012 年出版313 页ISBN：

（苏）奥斯特罗夫斯基著1949 年出版113 页ISBN：

（德）霍斯特·特尔施克（Teltschik2016 年出版0 页ISBN：

（美）希尔沃德·莱斯特·库克（Hereward Lester Cooke）著；诸迪，于冰译2000 年出版264 页ISBN：7500639775

（美）博英顿（Boyington，R.），马斯特顿（Masterton，W.L.）著1981 年出版404 页ISBN：13012·0646

（美）福斯特，（美）戴尼斯著1947 年出版45 页ISBN：

（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291

本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...

（美）莱斯特 R.比特（Lester R.Bittel）著；王毅捷译1994 年出版330 页ISBN：7208018219

（德）恩斯特·卡西尔（Ernst Cassirer）著；甘阳译2003 年出版357 页ISBN：7532731170

顾名思义，《人论》自然是研究所谓“人的问题”的，全书共十二章，分上、下两篇。上篇（前五章）是回答一个总的问题：人是什么？下篇（后七章）转入对人类世界本身的全面考察，就是考察人怎样运用不同的符号创造各种......