Amazonにこんなのを勧められる。お勧めの理由(の一つ)は『計算機プログラムの構造と解釈』を評価してたかららしい。ビバSICP。
数理解析研究所講究録1318 短期共同研究 代数・論理・幾何と情報科学 京都大学数理解析研究所 2003年5月刊