【好书推荐】数理逻辑经典名著（01. 数学史）
2006-01-16 00:00阅读：
参考文献：
Anil Nerode和Richard A. Shore 合著的：
《Logic for
Applications》（2nd Edition），
是Springer：Graduate Texts in Computer Science系列丛书之一。
亚马逊网站五星书籍。
中文影印版译名：
《应用逻辑》，由机械工业出版社出版（定价：49元）。
TR>
更多的图书及其详细介绍，详见该书书后参考书目。
网络购买链接：
China-pub
卓越网
当当网
第一部分数学史：
1) Birkhoff, G., ed.,
A Source Book in Classical
Analysis, Harvard University Press, Cambridge, Mass.,
1973.
简介：这本书讲述了分析学从萌芽到精确的演化历史。
2) Struik, d.,
A Source Book in Mathematics
1200-1800, Harvard University Press, Cambridge,
Mass., 1969.
简介：这本书涵盖了1200-1800这六百多年内，许多数学家的代表作品。
3) Thomas, I.,
Selections Illustrating the History of
Greek Mathematics with an English Translation, 2
vols., Loeb Classical Library, Harvard University Press, Cambridge,
Mass., 1969.
简介：Heath 在他的名著《希腊数学史》中引用并推荐的一本书。
4) Asprey, W. and Kitcher, P.,
History and Philosophy
of Modern Mathematics, Minnesota Studies in the
Philosophy of Science, vol. XI, University of Minnesota Press,
Minneapolis, 1988.
简介：这本书介绍了当时各学科之间的相互联系。
5) Grattan-Guinness, I.,
The Development of the
Foundations of Mathematical Analysis from Euler to
Riemann, MIT Press, Cambridge, Mass., 1970.
简介：介绍了欧拉、高斯、黎曼等数学家当时要建立新的数学的艰辛。
6) Heath, T. L.,
Mathematics in
Aristotle, Clarendon Press, Oxford, 1949.
7) Heath, T. L.,
A History of Greek Mathematics I,
II, Dover, New York, 1981.
简介：Heath 的这两本书是当今古希腊数学史研究领域的权威的著作。
8) Kitcher, P.,
The Nature of Mathematical
Knowledge, Oxford University Press, Oxford,
1983.
简介：本书最大的特点是：大量的哲学内容，以及现代分析学的历史作为学习材料。
9) Klein, F.,
Development of Mathematics in the 19th
Century (M. Ackermann, tr.), Math. Sci. Press,
Brookline, Mass., 1979.
简介：迄今为止，关于十九世纪核心数学演变史的最好的阐述，清晰地表明了数学及其基础的难度所在。
一些可用的网络资源（不断补充）：
E. T. Bell, Men of Mathematics: The lives and Achievements of the
Great Mathematicians from Zeno to Poincare.
中文译名《数学大师：从芝诺到庞加莱》
点击下载中文版
链接：
【好书推荐】数理逻辑经典名著（01.
历史-数学史） 【好书推荐】数理逻辑经典名著（02.
历史-逻辑史）
【好书推荐】数理逻辑经典名著（03. 数理逻辑-手册）
【好书推荐】数理逻辑经典名著（04. 数理逻辑-教材）
【好书推荐】数理逻辑经典名著（05. 数理逻辑-集合论）
【好书推荐】数理逻辑经典名著（06. 数理逻辑-模型论）
【好书推荐】数理逻辑经典名著（07. 数理逻辑-证明论）
【好书推荐】数理逻辑经典名著（08. 数理逻辑-递归论）
【好书推荐】数理逻辑经典名著（09. 数理逻辑-范畴逻辑）
【好书推荐】数理逻辑经典名著（10. 数理逻辑-逻辑代数）
【好书推荐】数理逻辑经典名著（11. 非经典逻辑-直觉主义逻辑和构成主义）
【好书推荐】数理逻辑经典名著（12. 非经典逻辑-λ演算和组合逻辑）
【好书推荐】数理逻辑经典名著（13. 非经典逻辑-模态逻辑与时态逻辑）
【好书推荐】数理逻辑经典名著（14. 逻辑与计算-手册）
【好书推荐】数理逻辑经典名著（15. 逻辑与计算-教材）
【好书推荐】数理逻辑经典名著（16. 逻辑与计算-复杂性理论）
【好书推荐】数理逻辑经典名著（17. 逻辑与计算-PROLOG）
【好书推荐】数理逻辑经典名著（18. 逻辑与计算-非单调逻辑）
【好书推荐】数理逻辑经典名著（19. 逻辑与计算-直觉主义、模态、时态逻辑）
【好书推荐】数理逻辑经典名著（20. 逻辑与计算-自动推理与程序验证）
鏂囩珷寮曠敤鑷細
http://www.amazon.com/Logic-Applications-Texts-Computer-Science/dp/0387948937/
