NextBook本書の次に読むもの 文庫 思考する機械コンピュータ (草思社文庫)（W.Daniel Hillis (原著), 倉骨 彰 (翻訳) 簡単なので、前でも良いかも。 論理と計算のしくみ（萩谷 昌己, 西崎 真也） コンピュータサイエンス入門 1 アルゴリズムとプログラミング言語（大堀 淳，ジャック ガリグ，西村 進） コンピュータサイエンス入門 2 論理とプログラム意味論（田辺 誠，中島 玲二，長谷川 真人） 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)（高橋 正子） 型システム入門 プログラミング言語と型の理論（Benjamin C. Pierce著 住井英二郎監訳 遠藤侑介・酒井政裕・今井敬吾・黒木裕介・今井宜洋・才川隆文・今井健男共訳） 形式言語理論 John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman. In
