計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)

関数型プログラム言語の勉強をするにあたり、面白そうなのできっちりと勉強する事にしようと思いました。なので、λ計算についての勉強を始めようと思います。参考書は表題の通り「計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)」です。
第1章はλ計算とは直接関係ない話なので、しばらくλ計算の話にはならないと思います。