論理と計算のしくみ - 岩波書店
計算機科学の基礎概念がわかる最適の教科書
www.iwanami.co.jp