数学分析与逻辑学

http://blog.sina.com.cn/s/blog_4a823027010009y3.html
http://www.douban.com/group/topic/1141931/
一直想找些有关数学分析和逻辑学的经典书籍研读一下，因为越来越觉得搞理论研究的，数学分析能力和逻辑推理能力是基本功。
整理了一下上面的两个链接中的内容，为自己列出一个读书单：
1，《数学分析新讲》张筑生著。北京大学的教材，近几年号称国内写的比较好的一本著作。不过没有课后习题，而是另出了一本习题册。
2，王路的《逻辑基础》
3，《吉米多维奇数学分析习题集》吉米多维奇著。还有什么好说的呢？学分析的人都要做的一本书。不过上面的计算题数量似乎多了一些。而且题也好像太多了。大家可以看一些精选本。总之可供选择的版本很多。但大家一定要自己做，千万不要抄答案，不然你什么也学不到。
4，柯匹和科恩的《逻辑学导论》，是导论性逻辑教科书中最完满的一部：既有演绎逻辑亦有归纳逻辑，既有古典逻辑亦有现代逻辑。本书是当今逻辑教科书的标准范本，是清晰性与准确性的典范，它能够使学生理解、把握并应用古典三段论逻辑和更为强有力的现代符号逻辑技术。
5，《微积分学教程》菲赫金哥尔茨著。古典数学分析的集大成著作。问一下上了年纪的数学系老师，很少有没有看过这本书的。书中很少涉及现在流行的集合论的观点，但对初学者而言毫无影响，甚至使一些概念更清晰了。
6，现代逻辑学讲义 李小五编著 中山大学出版社 2005.8
7，数学分析解题指南 北京大学出版社 2003年11月第三版
林源渠 方企勤编
先把书单开出来，按顺序研读，至少要读完1，2，4。