1.《逻辑学基础教程》,袁正校主编,高等教育出版社,2007年。
2. 《逻辑基础》,王路,人民出版社,2004年版。
3. 《逻辑学教程》,何向东主编,袁正校等副,主编高等教育出版社,2004年。
4.《亚里士多德的三段论》,[波兰]卢卡西维茨,商务印书馆,1983年5月版。
5.《形式逻辑原理》,诸葛殷同等,人民出版社,2007年第二版。
6.《逻辑的观念》,王路,商务印书馆,2000年版。
7.《一阶逻辑与一阶理论》,叶峰,中国社会科学出版社,1994年版。
8.《逻辑演算》,刘壮虎,中国社会科学出版社,1993年版。
9. H.-D. Ebbinghaus, J. Flum, W. Thomas. Mathematical logic . 2nd ed., Springer 1994.
10. P. Andrews. An Introduction to mathematical logic and type theory . 2nd edition. Kluwer Academic Publishers. Jacobs, Bart 1999.
11. D. van Dalen. Logic and Structure . 4th edition. Springer, 2004.
12. Joseph R. Shoenfield. Mathematical Logic . Association for Symbolic Logic and A. Peters, Natick, Massachusetts, 2000.
13. J. L. Bell and M. Machover. A Course in Mathematical Logic . North-Holland Publishing Company, Amsterdam, 1977.
14. H. Enderton. A Mathematical Introduction to Logic . Academic Press, 2nd ed., 2001.
15. W. Rautenburg. A Concise Introduction to Mathematical Logic . Springer, 2nd ed., 2006.
16. W. Hodges. Mathematical Logic . Oxford University Press, 2007.
17.《模态逻辑导论》,周北海,北京大学出版社,1997年版。
18.《哲学逻辑研究》,张清宇、郭世铭、李小五,社会科学文献出版社,1997年。
19. P. Blackburn et.al. Modal Logic . Cambridge University Press, 2001.
20. D. M. Gabbay & F. Guenthner (editors). Handbook of Philosophical Logic . Vol. 1-14 (2nd Edition), Kluwer Academic Publishers.
21. P. Blackburn, J. van Benthem and F. Wolter (editors). Handbook of Modal Logic . Elsevier, 2007.
22.《素朴集合论》,刘壮虎,北京大学出版社,2001年版。
23. K. Hrbacek and T. Jech. Introduction to set theory. 3rd edition. M. Dekker, 1999.
24. T. Jech. Set Theory . Springer, 2003.
25. 晏成书,《集合论导引》,中国社会科学出版社,1994年版。
26. H. Enderton. Elements of Set Theory . 人民邮电出版社(影印版),2006年版。
27. Douglas Walton, Alan Brinton and Aldershot Hants (editors). Historical Foundations of Informal Logic .. England, Brookfield, Vt.: Ashgate, 1997.
28. 《论辩巧智》, 熊明辉、赵艺译, 新世界出版社, 2006年版
29.《法律推理与政治冲突》,孙斯坦,法律出版社,2004年1月版。
30. 《中国逻辑史》,周云之,山西教育出版社, 2004年。
31.《数理逻辑发展史:从莱布尼茨到哥德尔》,张家龙,社科文献出版社,2004年
32. 《逻辑学思想史》,张家龙,湖南教育出版社,2004年。
33.《符号学导论》,黄华新、陈宗明,河南人民出版社, 2004年。
34.《理论符号学导论》,李幼蒸著,社会科学文献出版社, 1999年。
35. M. Osborne & A. Rubinstein. A Course In Game Theory . The MIT Press, 1994.
36.《博弈论学习理论》, [美]朱·弗登伯格,[美]戴维.莱文著,肖争艳,侯成琪译,中国人民大学出版社,2004年。
37.《博弈思维 》,潘天群著,北京大学出版社, 2005年。
38.《模态逻辑与哲学》, 张家龙,中国社会出版社,2003年版。
39.《逻辑哲学》,[英]苏珊·哈克著,罗毅译,商务印书馆,2003年版。
40.《对逻辑的思考》,[英]里德著,李小五译,辽宁人民出版社,2001年版。
41.《科学研究纲领方法论》,[匈]拉卡托斯,商务印书馆,1992年版。
42.《新编归纳逻辑导论》,任晓明,河南人民出版社,2009年6月。
43. 《逻辑——正确思维和成功交际的理论》,周礼全主编,人民出版社,1994年。
44. 《语言逻辑分析——语言学家关注的一切逻辑问题》,麦考莱著,王维贤、徐颂列等译,杭州大学出版社,1998年。
45. C. C. Chang and H. J. Keisler, Model Theory , 3rd edition, North-Holand, 1990.
46. W. Hodges. A Shorter Model Theory . Cambridge University Press, 1997.
47. J. Bell and A. Slomson. Models and Ultraproducts . Dover Publications, 1969.
48. A. S. Troelstra, H. Schwichtenberg. Basic Proof Theory . Cambridge University Press, 2000.
49. J. Shoenfiled. Recursion Theory . A. Peters Ltd., 2001.
50. G. Boolos and R. Jeffrey. Computability and Logic . Cambridge University Press, 4th edition, 2002.
51. R. Murawski. Recursive Functions and Metamathematics . Springer, 2009.
52. 《西方哲学史》,罗素,商务印书馆,1960
53.《哲学研究》,中国社会科学院哲学研究所
54.《哲学动态》,中国社会科学院哲学研究所
55.《逻辑学研究》,中国逻辑学会
56.《逻辑》,人大报刊复印资料
57. Journal of Symbolic Logic , AMS
58. Studia Logica , Kluwer Academic Publishers.
59. Journal of Logic and Computation , Oxford, UK.
60. Journal of Logic, Language and Information .
61. Journal of Philosophical Logic , Kluwer Academic Publishers.
62. Notre Dame Journal of Formal Logic . Notre Dame, USA.
63. Algebra and Logic . Springer.
64. Journal of Philosophy .
65. Mind .
66. Synthesis .
67. Annals of Pure and Applied Logic .
68. Archive for Mathematical Logic , Springer.
|