80年代末买过好多影印的GTM。

这个月终于买了第一本正版的，A Course in Mathematical Logic for Mathematicians 第二版，还有 SMM 的集合论第三版千禧版。

后一本报价240加刀，我放在购物车一个多月到了85，就买了，买完又掉价了，不过美国亚马逊还在200美刀以上。

书其实都可以当到，但还是纸版用着方便。

又买了一本SMM：Combinatorial Set Theory: With a Gentle Introduction to Forcing。

发现amazon的价格系统很有诱惑性。从放到wishlist时候的300多加刀直接降到52刀，我想了10几秒，拿下。书刚刚到手，翻看一下，很喜欢。

前几天是Wilfrid Hodges写的Model Theory，从150直降62，也被我拿下。有一点小遗憾，93年的书，2004年数字化重印，居然不修正任何错误，网上下载了6页的勘误表（算很多错误的了，包括多处整句／段的改写，虽然书有近800页），发现连最小的错误都没有改。

大手笔买书，赞一个！

得版主谬赞，惭愧得很，近10年来我书买了不少，象上面提到的有一定深度的书很少，少于20本，10来本吧，多了也读不了。


我是被书一路带着走，先是因为觉得做了几十年程序员，一直满足于比较浅的技术书籍，觉得还要提高提高，就想读读清楚计算理论，看了《the language of machines》，被带起了读数理逻辑的兴趣，读了几本入门书，又被带着去看集合论的书，为了看懂集合论的某些部分，又要看模型论，另外还被带着去看lambda演算的书，就因为lambda演算和组合子逻辑比一般看到的数理逻辑书内容更低层，更基础，反而对它们作为程序语言原型的部分不是很感兴趣。这样离一开始就为了看看计算理论的初衷越来越远，对数理逻辑这一块的兴趣却是越来越大。当然最关键的，没指望弄出点什么，能看看接近次新（或者接近最新）的理论，已经很满足了。

十几年前，我买书基本上是买一本看一本。到了后来，许多书买回来一直都没有翻过，至今前后买了约两千册纸质图书，家里和学校办公室的几个书柜摆不下，用纸箱子装了七八个箱子。

现在我的电脑上保存的电子图书估计有几千册。平时没有时间看，但是搞科研时，用关键词搜索相关内容，就用得着了。