（德）希尔柏脱（D.Hilbert），（德）阿克曼（W.Ackermann）著；莫绍揆译1958 年出版200 页ISBN：13031·750
本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算......
（英）戴维·米勒（D.W.Miller）编；张之沧译2000 年出版587 页ISBN：7214027879
作为20世纪最重要的思想家之一，波普尔在形而上学、科学哲学、认识论和社会哲学方面都为我们树立了思想的标尺，不论是赞同还是反对他的人都无法回避这一标尺：“只有在开放的思想与社会中，我们才能进行真正的、自...
methods in enzymology volume 281 vitamins and coenzymes part k
donald b.mccormick and john w.suttie and conrad wagner1997 年出版469 页ISBN：012182182X
ADAM SMITH GOES TO MOSCOW:A DIALOGUE ON RADICAL REFORM
WALTER ADAMS AND JAMES W.BROCK1993 年出版156 页ISBN：
PHARMACOLOGY OF INTESTINAL ABSORPTION:GASTROINTESTINAL ABSORPTION OF DRUGS VOLUME 2
T.W.CLARKSON K.R.KERRY A.G.F.DAVIDSON1975 年出版869 页ISBN：008016210X
PLASTIC SURGERY:A CONCISE GUIDE TO CLINICAL PRACTICE SECOND EDITION
WILLIAM C.GRABB JAMES W.SMITH1973 年出版1085 页ISBN：
战略中心型组织 如何利用平衡记分卡使企业在新的商业环境中保持繁荣
（美）罗伯特·S.卡普兰（Robert S.Kaplan），（美）大卫·P.诺顿（David P.Norton）著；周大勇等译2004 年出版410 页ISBN：7115118957
（美）Robert Sedgewick著；周良忠译2004 年出版365 页ISBN：7115120749
本书是一套算法系列书，介绍了当今最重要的算法。共分3卷，这是第2卷（第五部分），集中讲解图算法。本书共有6章（第17章到第22章）。第17章详细讨论图性质和类型，第18章～第22章分别讲解图搜索、有向图和DAG、最小生成......
（美）Morris W. Hirsch，Stephen Smale，Robert L. Devaney著2008 年出版336 页ISBN：9787115172181
本书主要介绍了线性系统、非线性系统、平面系统、洛仑兹系统、离散动力系统等，还分别介绍了这些知识在生物学、电路理论、力学等方面的应用。本书是介绍动力系统最值得推荐的一本经典教材，主要是用比较现代的...
PHYSIOLOGY OF THE KIDNEY AND BODY FLUIDS AN INTRODUCTORY TEXT THIRD EDITION
ROBERT1968 年出版315 页ISBN：
