先列兩本書，有空的話暑假想掃一下。
都沒怎么讀過，不保證是好書～～～等我掃完了再決定是否推薦～～～

《近世代數概論》
http://www.douban.com/subject/2152447/
對這本書看著順眼的原因是當時掃了一下，發現他涵蓋了目前為止所有的代數學知識（線性代數等）
感覺其線性代數部分比我們學的要難，但又不像數學系的《高等代數》那樣過多東東。
總得說來是代數學的通論。
配合一下那本《數學分析原理》，看起來很完美～～～

《數理邏輯》
http://www.douban.com/subject/1729578/
還沒讀過，有空掃一下。
我實在是不理解為什么我們的數理邏輯要用泛代數來引入，其實本質上構造自由代數的過程就是數理邏輯的遞歸定義過程。
我承認構造自由代數的方式確實是個很漂亮的想法，但問題是，數理邏輯應該是最基本的體系吧（類似于集合論），它的用途是 1. 嚴密化直覺想法 2. 構造一套讓計算機來思考的系統。
對于(1)來說，拿泛代數來引入就很有問題，類似于用高等的東西論證最基本的東西，就好像我們拿現有的計算機來定義Turing Machine……而且我覺得泛代數在很大程度上分散了我們的注意力……。。。@_@
我記得《應用邏輯》中是使用表達式樹來引入的，然后還是有一些關于表達式樹的形式話定義和一些“看上去很顯然”的東東的證明的。基本上嚴密性還是得到保證的（其實本質上也是一個遞歸定義）。可惜那本書的重點不是傳統邏輯（你看名字都叫《應用邏輯》了是吧～）


考完試，終于可以把那本書給扔了。。。啦啦啦～～～
個人覺得對Mathematicas in Computer Science比Pure Mathematicas有愛的多。。。不知道為什么。。。@_@