計算論 計算可能性とラムダ計算 高橋 正子 (著) 　近代科学社
はどうよ。

それはそうと、アマゾンの書評同様うんこレスが多杉。